{"id":"https://openalex.org/W2555026456","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737680","title":"Fast evaluations in product logic various pruning techniques","display_name":"Fast evaluations in product logic various pruning techniques","publication_year":2016,"publication_date":"2016-07-01","ids":{"openalex":"https://openalex.org/W2555026456","doi":"https://doi.org/10.1109/fuzz-ieee.2016.7737680","mag":"2555026456"},"language":"en","primary_location":{"id":"doi:10.1109/fuzz-ieee.2016.7737680","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737680","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081435755","display_name":"Raed Basbous","orcid":null},"institutions":[{"id":"https://openalex.org/I160932699","display_name":"Al-Quds Open University","ror":"https://ror.org/04cgn5q20","country_code":"PS","type":"education","lineage":["https://openalex.org/I160932699"]}],"countries":["PS"],"is_corresponding":true,"raw_author_name":"Raed Basbous","raw_affiliation_strings":["Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine","institution_ids":["https://openalex.org/I160932699"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047580824","display_name":"Tibor Tajti","orcid":"https://orcid.org/0000-0001-8057-2962"},"institutions":[{"id":"https://openalex.org/I160932699","display_name":"Al-Quds Open University","ror":"https://ror.org/04cgn5q20","country_code":"PS","type":"education","lineage":["https://openalex.org/I160932699"]}],"countries":["PS"],"is_corresponding":false,"raw_author_name":"Tibor Tajti","raw_affiliation_strings":["Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine","institution_ids":["https://openalex.org/I160932699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065953856","display_name":"Benedek Nagy","orcid":"https://orcid.org/0000-0002-9494-6440"},"institutions":[{"id":"https://openalex.org/I160932699","display_name":"Al-Quds Open University","ror":"https://ror.org/04cgn5q20","country_code":"PS","type":"education","lineage":["https://openalex.org/I160932699"]}],"countries":["PS"],"is_corresponding":false,"raw_author_name":"Benedek Nagy","raw_affiliation_strings":["Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Affairs Al-Quds Open University, Jerusalem, Palestine","institution_ids":["https://openalex.org/I160932699"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081435755"],"corresponding_institution_ids":["https://openalex.org/I160932699"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.07916146,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"415","issue":null,"first_page":"140","last_page":"147"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.983299970626831,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11574","display_name":"Artificial Intelligence in Games","score":0.983299970626831,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10820","display_name":"Fuzzy Logic and Control Systems","score":0.9046000242233276,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.8336872458457947},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6241861581802368},{"id":"https://openalex.org/keywords/fuzzy-logic","display_name":"Fuzzy logic","score":0.5895456075668335},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.5226837992668152},{"id":"https://openalex.org/keywords/logic-synthesis","display_name":"Logic synthesis","score":0.48674726486206055},{"id":"https://openalex.org/keywords/logic-gate","display_name":"Logic gate","score":0.48215219378471375},{"id":"https://openalex.org/keywords/logic-optimization","display_name":"Logic optimization","score":0.4109737277030945},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3836638629436493},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3593040108680725},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3359954357147217},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29980242252349854},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2949597239494324}],"concepts":[{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.8336872458457947},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6241861581802368},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.5895456075668335},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.5226837992668152},{"id":"https://openalex.org/C157922185","wikidata":"https://www.wikidata.org/wiki/Q173198","display_name":"Logic synthesis","level":3,"score":0.48674726486206055},{"id":"https://openalex.org/C131017901","wikidata":"https://www.wikidata.org/wiki/Q170451","display_name":"Logic gate","level":2,"score":0.48215219378471375},{"id":"https://openalex.org/C28449271","wikidata":"https://www.wikidata.org/wiki/Q6667469","display_name":"Logic optimization","level":4,"score":0.4109737277030945},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3836638629436493},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3593040108680725},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3359954357147217},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29980242252349854},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2949597239494324},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/fuzz-ieee.2016.7737680","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fuzz-ieee.2016.7737680","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","raw_type":"proceedings-article"},{"id":"pmh:oai:dea.lib.unideb.hu:2437/289400","is_oa":false,"landing_page_url":"http://hdl.handle.net/2437/289400","pdf_url":null,"source":{"id":"https://openalex.org/S4306402089","display_name":"University of Debrecen Electronic Archive (University of Debrecen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132735039","host_organization_name":"University of Debrecen","host_organization_lineage":["https://openalex.org/I132735039"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"el\u0151ad\u00e1skivonat"},{"id":"pmh:oai:dea.lib.unideb.hu:2437/289401","is_oa":false,"landing_page_url":"http://hdl.handle.net/2437/289401","pdf_url":null,"source":{"id":"https://openalex.org/S4306402089","display_name":"University of Debrecen Electronic Archive (University of Debrecen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I132735039","host_organization_name":"University of Debrecen","host_organization_lineage":["https://openalex.org/I132735039"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7599999904632568,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W751446670","https://openalex.org/W1531159060","https://openalex.org/W1569262032","https://openalex.org/W1570311220","https://openalex.org/W1578133078","https://openalex.org/W1590332383","https://openalex.org/W1969720993","https://openalex.org/W2004833088","https://openalex.org/W2005674752","https://openalex.org/W2013888202","https://openalex.org/W2024065710","https://openalex.org/W2110182592","https://openalex.org/W2120935172","https://openalex.org/W2122410182","https://openalex.org/W2129605919","https://openalex.org/W2279051810","https://openalex.org/W2593325955","https://openalex.org/W2912565176","https://openalex.org/W4235591324","https://openalex.org/W4244261311","https://openalex.org/W4285719527","https://openalex.org/W4301425933","https://openalex.org/W6633986263","https://openalex.org/W6678087030","https://openalex.org/W6825954716","https://openalex.org/W7017570950","https://openalex.org/W7039365956"],"related_works":["https://openalex.org/W1966764473","https://openalex.org/W2098419840","https://openalex.org/W2614722573","https://openalex.org/W2121963733","https://openalex.org/W2789349722","https://openalex.org/W1977171228","https://openalex.org/W2102927888","https://openalex.org/W4249951793","https://openalex.org/W2170504327","https://openalex.org/W2150981204"],"abstract_inverted_index":{"Short":[0],"circuit,":[1],"short":[2,84],"cut,":[3],"or":[4],"by":[5,53,57],"other":[6],"name,":[7],"lazy":[8],"evaluations":[9,86],"play":[10],"important":[11],"roles":[12],"in":[13,87],"various":[14,54,73],"fields":[15],"of":[16,30,46,48,62,83,92,95],"computer":[17],"science":[18],"including":[19],"logic,":[20],"hardware":[21],"design,":[22],"programming,":[23],"decision":[24],"making.":[25],"In":[26],"this":[27],"paper,":[28],"one":[29],"the":[31,39,63,69],"best":[32],"known":[33],"and":[34,90],"used":[35],"fuzzy":[36],"logic":[37,41,89],"systems,":[38],"product":[40],"is":[42],"considered.":[43],"The":[44,75],"evaluation":[45],"lots":[47],"formulae":[49],"can":[50,78],"be":[51,79],"quickened":[52],"pruning":[55,94],"techniques":[56,77],"discovering":[58],"which":[59],"remaining":[60],"part":[61],"formula":[64],"has":[65],"no":[66],"influence":[67],"on":[68],"final":[70],"result":[71],"for":[72],"reasons.":[74],"presented":[76],"seen":[80],"as":[81],"generalizations":[82],"circuit":[85],"Boolean":[88],"also":[91],"alpha-beta":[93],"game":[96],"trees.":[97]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}