Matches in SemOpenAlex for { <https://semopenalex.org/work/W2926600623> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2926600623 endingPage "75" @default.
- W2926600623 startingPage "61" @default.
- W2926600623 abstract "Preprocessing SAT instances can reduce their size considerably. We combine variable elimination with subsumption and self-subsuming resolution, and show that these techniques not only shrink the formula further than previous preprocessing efforts based on variable elimination, but also decrease runtime of SAT solvers substantially for typical industrial SAT problems. We discuss critical implementation details that make the reduction procedure fast enough to be practical." @default.
- W2926600623 created "2019-04-11" @default.
- W2926600623 creator A5030158202 @default.
- W2926600623 creator A5082596567 @default.
- W2926600623 date "2005-01-01" @default.
- W2926600623 modified "2023-10-06" @default.
- W2926600623 title "Effective preprocessing in SAT through variable and clause elimination" @default.
- W2926600623 hasPublicationYear "2005" @default.
- W2926600623 type Work @default.
- W2926600623 sameAs 2926600623 @default.
- W2926600623 citedByCount "0" @default.
- W2926600623 crossrefType "journal-article" @default.
- W2926600623 hasAuthorship W2926600623A5030158202 @default.
- W2926600623 hasAuthorship W2926600623A5082596567 @default.
- W2926600623 hasConcept C11413529 @default.
- W2926600623 hasConcept C134306372 @default.
- W2926600623 hasConcept C138268822 @default.
- W2926600623 hasConcept C154945302 @default.
- W2926600623 hasConcept C169272836 @default.
- W2926600623 hasConcept C182365436 @default.
- W2926600623 hasConcept C199360897 @default.
- W2926600623 hasConcept C2776214188 @default.
- W2926600623 hasConcept C33923547 @default.
- W2926600623 hasConcept C34736171 @default.
- W2926600623 hasConcept C41008148 @default.
- W2926600623 hasConcept C6943359 @default.
- W2926600623 hasConcept C80444323 @default.
- W2926600623 hasConceptScore W2926600623C11413529 @default.
- W2926600623 hasConceptScore W2926600623C134306372 @default.
- W2926600623 hasConceptScore W2926600623C138268822 @default.
- W2926600623 hasConceptScore W2926600623C154945302 @default.
- W2926600623 hasConceptScore W2926600623C169272836 @default.
- W2926600623 hasConceptScore W2926600623C182365436 @default.
- W2926600623 hasConceptScore W2926600623C199360897 @default.
- W2926600623 hasConceptScore W2926600623C2776214188 @default.
- W2926600623 hasConceptScore W2926600623C33923547 @default.
- W2926600623 hasConceptScore W2926600623C34736171 @default.
- W2926600623 hasConceptScore W2926600623C41008148 @default.
- W2926600623 hasConceptScore W2926600623C6943359 @default.
- W2926600623 hasConceptScore W2926600623C80444323 @default.
- W2926600623 hasLocation W29266006231 @default.
- W2926600623 hasOpenAccess W2926600623 @default.
- W2926600623 hasPrimaryLocation W29266006231 @default.
- W2926600623 hasRelatedWork W139740642 @default.
- W2926600623 hasRelatedWork W1486389616 @default.
- W2926600623 hasRelatedWork W1511069520 @default.
- W2926600623 hasRelatedWork W1660853348 @default.
- W2926600623 hasRelatedWork W1830554976 @default.
- W2926600623 hasRelatedWork W1914938847 @default.
- W2926600623 hasRelatedWork W2048373673 @default.
- W2926600623 hasRelatedWork W2112709934 @default.
- W2926600623 hasRelatedWork W2130209717 @default.
- W2926600623 hasRelatedWork W2167333876 @default.
- W2926600623 hasRelatedWork W2211321287 @default.
- W2926600623 hasRelatedWork W2268804549 @default.
- W2926600623 hasRelatedWork W2405776767 @default.
- W2926600623 hasRelatedWork W2509021277 @default.
- W2926600623 hasRelatedWork W2579221958 @default.
- W2926600623 hasRelatedWork W2955759369 @default.
- W2926600623 hasRelatedWork W2990508865 @default.
- W2926600623 hasRelatedWork W347627551 @default.
- W2926600623 hasRelatedWork W53778728 @default.
- W2926600623 hasRelatedWork W90023127 @default.
- W2926600623 hasVolume "3569" @default.
- W2926600623 isParatext "false" @default.
- W2926600623 isRetracted "false" @default.
- W2926600623 magId "2926600623" @default.
- W2926600623 workType "article" @default.