Matches in SemOpenAlex for { <https://semopenalex.org/work/W2101347856> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2101347856 endingPage "1318" @default.
- W2101347856 startingPage "1313" @default.
- W2101347856 abstract "The paper proposes a robust circuit-based Boolean satisfiability (SAT) solver, QuteSAT, that can be applied to complex circuit netlist structure. Several novel techniques are proposed in this paper, including: (1) a generic watching scheme on general gate types for efficient Boolean constraint propagation (BCP), (2) an implicit implication graph representation for efficient learning, and (3) careful engineering on the most advanced SAT algorithms for the circuit-based data structure. The experimental results show that our baseline solver, without taking the advantage of the circuit information, can achieve the same performance as the fastest conjunctive normal form (CNF)-based solvers. The authors also demonstrate that by applying a simple circuit-oriented decision ordering technique (J-frontier), our solver can constantly outperform the CNF ones for more than 75+ times. With the great flexibility on the circuit-based data structure, our solver can serve as a solid foundation for the general SAT research in the future" @default.
- W2101347856 created "2016-06-24" @default.
- W2101347856 creator A5036280172 @default.
- W2101347856 creator A5043781248 @default.
- W2101347856 creator A5066166090 @default.
- W2101347856 creator A5069922390 @default.
- W2101347856 date "2007-04-16" @default.
- W2101347856 modified "2023-09-28" @default.
- W2101347856 title "QuteSAT: a robust circuit-based SAT solver for complex circuit structure" @default.
- W2101347856 cites W1511155470 @default.
- W2101347856 cites W1513176853 @default.
- W2101347856 cites W1985602827 @default.
- W2101347856 cites W2001859357 @default.
- W2101347856 cites W2044560939 @default.
- W2101347856 cites W2075959177 @default.
- W2101347856 cites W2096307462 @default.
- W2101347856 cites W2110737535 @default.
- W2101347856 cites W2116758077 @default.
- W2101347856 cites W2142785340 @default.
- W2101347856 cites W2146662253 @default.
- W2101347856 cites W2159828458 @default.
- W2101347856 cites W3045969830 @default.
- W2101347856 doi "https://doi.org/10.5555/1266366.1266653" @default.
- W2101347856 hasPublicationYear "2007" @default.
- W2101347856 type Work @default.
- W2101347856 sameAs 2101347856 @default.
- W2101347856 citedByCount "6" @default.
- W2101347856 countsByYear W21013478562013 @default.
- W2101347856 countsByYear W21013478562015 @default.
- W2101347856 crossrefType "proceedings-article" @default.
- W2101347856 hasAuthorship W2101347856A5036280172 @default.
- W2101347856 hasAuthorship W2101347856A5043781248 @default.
- W2101347856 hasAuthorship W2101347856A5066166090 @default.
- W2101347856 hasAuthorship W2101347856A5069922390 @default.
- W2101347856 hasConcept C11413529 @default.
- W2101347856 hasConcept C119599485 @default.
- W2101347856 hasConcept C127413603 @default.
- W2101347856 hasConcept C141796577 @default.
- W2101347856 hasConcept C162319229 @default.
- W2101347856 hasConcept C165801399 @default.
- W2101347856 hasConcept C168773769 @default.
- W2101347856 hasConcept C177650935 @default.
- W2101347856 hasConcept C187455244 @default.
- W2101347856 hasConcept C199360897 @default.
- W2101347856 hasConcept C23572009 @default.
- W2101347856 hasConcept C26490066 @default.
- W2101347856 hasConcept C2778770139 @default.
- W2101347856 hasConcept C41008148 @default.
- W2101347856 hasConcept C6943359 @default.
- W2101347856 hasConcept C80444323 @default.
- W2101347856 hasConcept C9390403 @default.
- W2101347856 hasConceptScore W2101347856C11413529 @default.
- W2101347856 hasConceptScore W2101347856C119599485 @default.
- W2101347856 hasConceptScore W2101347856C127413603 @default.
- W2101347856 hasConceptScore W2101347856C141796577 @default.
- W2101347856 hasConceptScore W2101347856C162319229 @default.
- W2101347856 hasConceptScore W2101347856C165801399 @default.
- W2101347856 hasConceptScore W2101347856C168773769 @default.
- W2101347856 hasConceptScore W2101347856C177650935 @default.
- W2101347856 hasConceptScore W2101347856C187455244 @default.
- W2101347856 hasConceptScore W2101347856C199360897 @default.
- W2101347856 hasConceptScore W2101347856C23572009 @default.
- W2101347856 hasConceptScore W2101347856C26490066 @default.
- W2101347856 hasConceptScore W2101347856C2778770139 @default.
- W2101347856 hasConceptScore W2101347856C41008148 @default.
- W2101347856 hasConceptScore W2101347856C6943359 @default.
- W2101347856 hasConceptScore W2101347856C80444323 @default.
- W2101347856 hasConceptScore W2101347856C9390403 @default.
- W2101347856 hasLocation W21013478561 @default.
- W2101347856 hasOpenAccess W2101347856 @default.
- W2101347856 hasPrimaryLocation W21013478561 @default.
- W2101347856 hasRelatedWork W1485236460 @default.
- W2101347856 hasRelatedWork W1604839858 @default.
- W2101347856 hasRelatedWork W2028329758 @default.
- W2101347856 hasRelatedWork W2059944878 @default.
- W2101347856 hasRelatedWork W2079738422 @default.
- W2101347856 hasRelatedWork W2095698047 @default.
- W2101347856 hasRelatedWork W2101101130 @default.
- W2101347856 hasRelatedWork W2108578145 @default.
- W2101347856 hasRelatedWork W2113915323 @default.
- W2101347856 hasRelatedWork W2123710050 @default.
- W2101347856 hasRelatedWork W2125763413 @default.
- W2101347856 hasRelatedWork W2140132043 @default.
- W2101347856 hasRelatedWork W2141201469 @default.
- W2101347856 hasRelatedWork W2156358952 @default.
- W2101347856 hasRelatedWork W2162772242 @default.
- W2101347856 hasRelatedWork W2163492764 @default.
- W2101347856 hasRelatedWork W2356825047 @default.
- W2101347856 hasRelatedWork W2536123300 @default.
- W2101347856 hasRelatedWork W3150082960 @default.
- W2101347856 hasRelatedWork W62543001 @default.
- W2101347856 isParatext "false" @default.
- W2101347856 isRetracted "false" @default.
- W2101347856 magId "2101347856" @default.
- W2101347856 workType "article" @default.