Matches in SemOpenAlex for { <https://semopenalex.org/work/W1924598671> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W1924598671 abstract "Interest in propositional satisfiability (SAT) has been on the rise lately, spurred in part by the recent availability of powerful solvers that are sufficiently efficient and robust to deal with the large-scale SAT problems that typically arise in electronic design automation application. A frequent question that CAD tool developers and users typically ask is which of these various solvers is best; the quick answer is, of course, it depends. In this paper we attempt to gain some insight into, rather than definitively answer, this question." @default.
- W1924598671 created "2016-06-24" @default.
- W1924598671 creator A5002246957 @default.
- W1924598671 creator A5066105108 @default.
- W1924598671 creator A5077314055 @default.
- W1924598671 date "2002-11-07" @default.
- W1924598671 modified "2023-09-24" @default.
- W1924598671 title "An experimental study of satisfiability search heuristics" @default.
- W1924598671 doi "https://doi.org/10.1109/date.2000.840878" @default.
- W1924598671 hasPublicationYear "2002" @default.
- W1924598671 type Work @default.
- W1924598671 sameAs 1924598671 @default.
- W1924598671 citedByCount "2" @default.
- W1924598671 crossrefType "proceedings-article" @default.
- W1924598671 hasAuthorship W1924598671A5002246957 @default.
- W1924598671 hasAuthorship W1924598671A5066105108 @default.
- W1924598671 hasAuthorship W1924598671A5077314055 @default.
- W1924598671 hasConcept C111919701 @default.
- W1924598671 hasConcept C115901376 @default.
- W1924598671 hasConcept C127413603 @default.
- W1924598671 hasConcept C127705205 @default.
- W1924598671 hasConcept C136264566 @default.
- W1924598671 hasConcept C149635348 @default.
- W1924598671 hasConcept C162324750 @default.
- W1924598671 hasConcept C168773769 @default.
- W1924598671 hasConcept C41008148 @default.
- W1924598671 hasConcept C64260653 @default.
- W1924598671 hasConcept C6943359 @default.
- W1924598671 hasConcept C78519656 @default.
- W1924598671 hasConcept C80444323 @default.
- W1924598671 hasConcept C90329073 @default.
- W1924598671 hasConceptScore W1924598671C111919701 @default.
- W1924598671 hasConceptScore W1924598671C115901376 @default.
- W1924598671 hasConceptScore W1924598671C127413603 @default.
- W1924598671 hasConceptScore W1924598671C127705205 @default.
- W1924598671 hasConceptScore W1924598671C136264566 @default.
- W1924598671 hasConceptScore W1924598671C149635348 @default.
- W1924598671 hasConceptScore W1924598671C162324750 @default.
- W1924598671 hasConceptScore W1924598671C168773769 @default.
- W1924598671 hasConceptScore W1924598671C41008148 @default.
- W1924598671 hasConceptScore W1924598671C64260653 @default.
- W1924598671 hasConceptScore W1924598671C6943359 @default.
- W1924598671 hasConceptScore W1924598671C78519656 @default.
- W1924598671 hasConceptScore W1924598671C80444323 @default.
- W1924598671 hasConceptScore W1924598671C90329073 @default.
- W1924598671 hasLocation W19245986711 @default.
- W1924598671 hasOpenAccess W1924598671 @default.
- W1924598671 hasPrimaryLocation W19245986711 @default.
- W1924598671 hasRelatedWork W1486389616 @default.
- W1924598671 hasRelatedWork W1520424600 @default.
- W1924598671 hasRelatedWork W1556434751 @default.
- W1924598671 hasRelatedWork W1949943063 @default.
- W1924598671 hasRelatedWork W2025399946 @default.
- W1924598671 hasRelatedWork W2100179054 @default.
- W1924598671 hasRelatedWork W2102791214 @default.
- W1924598671 hasRelatedWork W2119847683 @default.
- W1924598671 hasRelatedWork W2125024536 @default.
- W1924598671 hasRelatedWork W2157533144 @default.
- W1924598671 hasRelatedWork W2163908116 @default.
- W1924598671 hasRelatedWork W2166708428 @default.
- W1924598671 hasRelatedWork W2184595489 @default.
- W1924598671 hasRelatedWork W2225388902 @default.
- W1924598671 hasRelatedWork W2406142465 @default.
- W1924598671 hasRelatedWork W2566535251 @default.
- W1924598671 hasRelatedWork W2740629432 @default.
- W1924598671 hasRelatedWork W2955519387 @default.
- W1924598671 hasRelatedWork W1605746234 @default.
- W1924598671 hasRelatedWork W2246169376 @default.
- W1924598671 isParatext "false" @default.
- W1924598671 isRetracted "false" @default.
- W1924598671 magId "1924598671" @default.
- W1924598671 workType "article" @default.