{"id":"https://openalex.org/W2001123279","doi":"https://doi.org/10.1145/1854153.1854201","title":"Improvements on the detection of false paths by using unateness and satisfiability","display_name":"Improvements on the detection of false paths by using unateness and satisfiability","publication_year":2010,"publication_date":"2010-09-06","ids":{"openalex":"https://openalex.org/W2001123279","doi":"https://doi.org/10.1145/1854153.1854201","mag":"2001123279"},"language":"en","primary_location":{"id":"doi:10.1145/1854153.1854201","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1854153.1854201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd symposium on Integrated circuits and system design","raw_type":"proceedings-article"},"type":"conference-paper","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/A5068796829","display_name":"Felipe Marques","orcid":"https://orcid.org/0000-0003-1318-9992"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Felipe S. Marques","raw_affiliation_strings":["Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5048961362","display_name":"Osvaldo Martinello","orcid":null},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Osvaldo Martinello","raw_affiliation_strings":["Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090563366","display_name":"Renato P. Ribas","orcid":"https://orcid.org/0000-0002-9895-7489"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Renato P. Ribas","raw_affiliation_strings":["Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065397615","display_name":"Andr\u00e9 I. Reis","orcid":"https://orcid.org/0000-0002-3118-8160"},"institutions":[{"id":"https://openalex.org/I130442723","display_name":"Universidade Federal do Rio Grande do Sul","ror":"https://ror.org/041yk2d64","country_code":"BR","type":"education","lineage":["https://openalex.org/I130442723"]}],"countries":["BR"],"is_corresponding":false,"raw_author_name":"Andr\u00e9 I. Reis","raw_affiliation_strings":["Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Instituto de Inform\u00e1tica - UFRGS, Porto Alegre, Brazil","institution_ids":["https://openalex.org/I130442723"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I130442723"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"192","last_page":"197"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11032","display_name":"VLSI and Analog Circuit Testing","score":1.0,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/satisfiability","display_name":"Satisfiability","score":0.8924970626831055},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.7400404214859009},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.6696106791496277},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6462262868881226},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.5387711524963379},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.4889189302921295},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3735053241252899},{"id":"https://openalex.org/keywords/topology","display_name":"Topology (electrical circuits)","score":0.3681095242500305},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.297750860452652},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10030537843704224},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09640654921531677},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.07124179601669312}],"concepts":[{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.8924970626831055},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.7400404214859009},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.6696106791496277},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6462262868881226},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.5387711524963379},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.4889189302921295},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3735053241252899},{"id":"https://openalex.org/C184720557","wikidata":"https://www.wikidata.org/wiki/Q7825049","display_name":"Topology (electrical circuits)","level":2,"score":0.3681095242500305},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.297750860452652},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10030537843704224},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09640654921531677},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.07124179601669312},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1854153.1854201","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1854153.1854201","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 23rd symposium on Integrated circuits and system design","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.6700000166893005}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":13,"referenced_works":["https://openalex.org/W1561272184","https://openalex.org/W2012426329","https://openalex.org/W2100196964","https://openalex.org/W2103524953","https://openalex.org/W2105761964","https://openalex.org/W2119562103","https://openalex.org/W2120147320","https://openalex.org/W2125024536","https://openalex.org/W2149966432","https://openalex.org/W2150140270","https://openalex.org/W2160444875","https://openalex.org/W2166827623","https://openalex.org/W2169913777"],"related_works":["https://openalex.org/W3176904788","https://openalex.org/W21597398","https://openalex.org/W4298153058","https://openalex.org/W2408080066","https://openalex.org/W2268872489","https://openalex.org/W1913543287","https://openalex.org/W2014111643","https://openalex.org/W2963044240","https://openalex.org/W2076399409","https://openalex.org/W2102364390"],"abstract_inverted_index":{"This":[0,64,99],"paper":[1,124],"presents":[2],"improvements":[3],"on":[4,26,122,134],"a":[5,75,89],"previous":[6,16,114],"methodology":[7,116],"for":[8],"false":[9,41],"path":[10,42],"detection":[11],"using":[12],"satisfiability.":[13],"As":[14],"the":[15,58,68,83,108,113,118,127],"methodology,":[17],"which":[18],"is":[19,24,80,130],"referred":[20],"as":[21,37,39],"node-sat,":[22],"it":[23],"based":[25],"circuit":[27,109],"node":[28],"properties":[29],"that":[30,50,70,79,126],"are":[31],"related":[32],"to":[33,40,46,56,96],"non-testable":[34],"stuck-at":[35],"faults":[36],"well":[38],"detection.":[43],"When":[44],"compared":[45],"traditional":[47],"satisfiability":[48,93],"methods":[49],"generate":[51],"sets":[52],"of":[53,77,85,92],"clauses":[54],"associated":[55],"paths,":[57,86],"node-sat":[59,115],"can":[60,101],"be":[61,97,102],"more":[62,105],"efficient.":[63],"efficiency":[65],"derives":[66],"from":[67],"fact":[69],"most":[71],"digital":[72],"circuits":[73],"have":[74],"number":[76,84,91,100],"nodes":[78],"smaller":[81,90],"than":[82],"and":[87,117],"therefore,":[88],"instances":[94],"needs":[95],"solved.":[98],"reduced":[103,131],"even":[104],"by":[106,132],"considering":[107],"topology.":[110],"Experiments":[111],"comparing":[112],"new":[119],"techniques":[120],"presented":[121],"this":[123],"reveal":[125],"execution":[128],"time":[129],"60%":[133],"average.":[135]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}