Matches in SemOpenAlex for { <https://semopenalex.org/work/W1681144494> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W1681144494 abstract "In this paper, we present a new way to preprocess Boolean formulae in Conjunctive Normal Form (CNF). In contrast to most of the current pre-processing techniques, our approach aims at improving the filtering power of the original clauses while producing a small number of additional and relevant clauses. More precisely, an incomplete redundancy check is performed on each original clauses through unit propagation, leading to either a sub-clause or to a new relevant one generated by the clause learning scheme. This preprocessor is empirically compared to the best existing one in terms of size reduction and the ability to improve a state-of-the-art satisfiability solver." @default.
- W1681144494 created "2016-06-24" @default.
- W1681144494 creator A5037137798 @default.
- W1681144494 creator A5070568220 @default.
- W1681144494 creator A5078554632 @default.
- W1681144494 date "2008-01-01" @default.
- W1681144494 modified "2023-09-23" @default.
- W1681144494 title "Vivifying propositional clausal formulae" @default.
- W1681144494 cites W117707387 @default.
- W1681144494 cites W1521053613 @default.
- W1681144494 cites W1530261919 @default.
- W1681144494 cites W1570066695 @default.
- W1681144494 cites W1591802374 @default.
- W1681144494 cites W1660853348 @default.
- W1681144494 cites W1950282396 @default.
- W1681144494 cites W2058793155 @default.
- W1681144494 cites W2062897452 @default.
- W1681144494 cites W2085301456 @default.
- W1681144494 cites W2165661129 @default.
- W1681144494 cites W2225800216 @default.
- W1681144494 cites W230546785 @default.
- W1681144494 hasPublicationYear "2008" @default.
- W1681144494 type Work @default.
- W1681144494 sameAs 1681144494 @default.
- W1681144494 citedByCount "22" @default.
- W1681144494 countsByYear W16811444942012 @default.
- W1681144494 countsByYear W16811444942013 @default.
- W1681144494 countsByYear W16811444942014 @default.
- W1681144494 countsByYear W16811444942015 @default.
- W1681144494 countsByYear W16811444942016 @default.
- W1681144494 countsByYear W16811444942017 @default.
- W1681144494 countsByYear W16811444942018 @default.
- W1681144494 countsByYear W16811444942019 @default.
- W1681144494 countsByYear W16811444942020 @default.
- W1681144494 crossrefType "proceedings-article" @default.
- W1681144494 hasAuthorship W1681144494A5037137798 @default.
- W1681144494 hasAuthorship W1681144494A5070568220 @default.
- W1681144494 hasAuthorship W1681144494A5078554632 @default.
- W1681144494 hasConcept C102993220 @default.
- W1681144494 hasConcept C14523651 @default.
- W1681144494 hasConcept C199360897 @default.
- W1681144494 hasConcept C33203268 @default.
- W1681144494 hasConcept C41008148 @default.
- W1681144494 hasConcept C69562738 @default.
- W1681144494 hasConcept C74640108 @default.
- W1681144494 hasConceptScore W1681144494C102993220 @default.
- W1681144494 hasConceptScore W1681144494C14523651 @default.
- W1681144494 hasConceptScore W1681144494C199360897 @default.
- W1681144494 hasConceptScore W1681144494C33203268 @default.
- W1681144494 hasConceptScore W1681144494C41008148 @default.
- W1681144494 hasConceptScore W1681144494C69562738 @default.
- W1681144494 hasConceptScore W1681144494C74640108 @default.
- W1681144494 hasLocation W16811444941 @default.
- W1681144494 hasLocation W16811444942 @default.
- W1681144494 hasOpenAccess W1681144494 @default.
- W1681144494 hasPrimaryLocation W16811444941 @default.
- W1681144494 hasRelatedWork W1597848231 @default.
- W1681144494 hasRelatedWork W1987118140 @default.
- W1681144494 hasRelatedWork W2283591084 @default.
- W1681144494 hasRelatedWork W2788816388 @default.
- W1681144494 hasRelatedWork W2951901777 @default.
- W1681144494 hasRelatedWork W3099382357 @default.
- W1681144494 hasRelatedWork W4298267346 @default.
- W1681144494 hasRelatedWork W770516323 @default.
- W1681144494 hasRelatedWork W949976107 @default.
- W1681144494 hasRelatedWork W2990043628 @default.
- W1681144494 isParatext "false" @default.
- W1681144494 isRetracted "false" @default.
- W1681144494 magId "1681144494" @default.
- W1681144494 workType "article" @default.