Matches in SemOpenAlex for { <https://semopenalex.org/work/W69592080> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W69592080 abstract "Modern conflict-driven clause learning (CDCL) SAT solvers are very good in solving conjunctive normal form (CNF) formulas. However, some application problems involve lots of parity (xor) constraints which are not necessarily efficiently handled if translated into CNF. This paper studies solving CNF formulas augmented with xor-clauses in the DPLL(XOR) framework where a CDCL SAT solver is coupled with a separate xor-reasoning module. New techniques for analyzing xor-reasoning derivations are developed, allowing one to obtain smaller CNF clausal explanations for xor-implied literals and also to derive and learn new xor-clauses. It is proven that these new techniques allow very short unsatisfiability proofs for some formulas whose CNF translations do not have polynomial size resolution proofs, even when a very simple xor-reasoning module capable only of unit propagation is applied. The efficiency of the proposed techniques is evaluated on a set of challenging logical cryptanalysis instances." @default.
- W69592080 created "2016-06-24" @default.
- W69592080 creator A5000911721 @default.
- W69592080 creator A5037137004 @default.
- W69592080 creator A5062527067 @default.
- W69592080 date "2014-07-24" @default.
- W69592080 modified "2023-09-25" @default.
- W69592080 title "Conflict-Driven XOR-Clause Learning (extended version)." @default.
- W69592080 cites W128869332 @default.
- W69592080 cites W136158981 @default.
- W69592080 cites W1480466499 @default.
- W69592080 cites W1481397690 @default.
- W69592080 cites W1518705996 @default.
- W69592080 cites W1594948273 @default.
- W69592080 cites W1598398537 @default.
- W69592080 cites W1605798759 @default.
- W69592080 cites W2022846948 @default.
- W69592080 cites W2035057526 @default.
- W69592080 cites W2096307462 @default.
- W69592080 cites W2098022011 @default.
- W69592080 cites W2117188169 @default.
- W69592080 cites W2121015471 @default.
- W69592080 cites W2142785340 @default.
- W69592080 cites W2298076779 @default.
- W69592080 cites W2610670194 @default.
- W69592080 cites W46806771 @default.
- W69592080 cites W67346912 @default.
- W69592080 hasPublicationYear "2014" @default.
- W69592080 type Work @default.
- W69592080 sameAs 69592080 @default.
- W69592080 citedByCount "1" @default.
- W69592080 countsByYear W695920802015 @default.
- W69592080 crossrefType "posted-content" @default.
- W69592080 hasAuthorship W69592080A5000911721 @default.
- W69592080 hasAuthorship W69592080A5037137004 @default.
- W69592080 hasAuthorship W69592080A5062527067 @default.
- W69592080 hasConcept C108710211 @default.
- W69592080 hasConcept C11413529 @default.
- W69592080 hasConcept C12707504 @default.
- W69592080 hasConcept C131017901 @default.
- W69592080 hasConcept C134652429 @default.
- W69592080 hasConcept C138268822 @default.
- W69592080 hasConcept C143936061 @default.
- W69592080 hasConcept C16221470 @default.
- W69592080 hasConcept C199360897 @default.
- W69592080 hasConcept C2524010 @default.
- W69592080 hasConcept C2778770139 @default.
- W69592080 hasConcept C28495749 @default.
- W69592080 hasConcept C33923547 @default.
- W69592080 hasConcept C35898486 @default.
- W69592080 hasConcept C41008148 @default.
- W69592080 hasConcept C6943359 @default.
- W69592080 hasConcept C76155785 @default.
- W69592080 hasConcept C80444323 @default.
- W69592080 hasConceptScore W69592080C108710211 @default.
- W69592080 hasConceptScore W69592080C11413529 @default.
- W69592080 hasConceptScore W69592080C12707504 @default.
- W69592080 hasConceptScore W69592080C131017901 @default.
- W69592080 hasConceptScore W69592080C134652429 @default.
- W69592080 hasConceptScore W69592080C138268822 @default.
- W69592080 hasConceptScore W69592080C143936061 @default.
- W69592080 hasConceptScore W69592080C16221470 @default.
- W69592080 hasConceptScore W69592080C199360897 @default.
- W69592080 hasConceptScore W69592080C2524010 @default.
- W69592080 hasConceptScore W69592080C2778770139 @default.
- W69592080 hasConceptScore W69592080C28495749 @default.
- W69592080 hasConceptScore W69592080C33923547 @default.
- W69592080 hasConceptScore W69592080C35898486 @default.
- W69592080 hasConceptScore W69592080C41008148 @default.
- W69592080 hasConceptScore W69592080C6943359 @default.
- W69592080 hasConceptScore W69592080C76155785 @default.
- W69592080 hasConceptScore W69592080C80444323 @default.
- W69592080 hasLocation W695920801 @default.
- W69592080 hasOpenAccess W69592080 @default.
- W69592080 hasPrimaryLocation W695920801 @default.
- W69592080 hasRelatedWork W136158981 @default.
- W69592080 hasRelatedWork W1497632410 @default.
- W69592080 hasRelatedWork W1499043148 @default.
- W69592080 hasRelatedWork W1571096584 @default.
- W69592080 hasRelatedWork W1573666268 @default.
- W69592080 hasRelatedWork W1607919398 @default.
- W69592080 hasRelatedWork W1656268799 @default.
- W69592080 hasRelatedWork W2036901448 @default.
- W69592080 hasRelatedWork W205622109 @default.
- W69592080 hasRelatedWork W2081058391 @default.
- W69592080 hasRelatedWork W2149441048 @default.
- W69592080 hasRelatedWork W2212515300 @default.
- W69592080 hasRelatedWork W2296705333 @default.
- W69592080 hasRelatedWork W2600082075 @default.
- W69592080 hasRelatedWork W2728692 @default.
- W69592080 hasRelatedWork W27762129 @default.
- W69592080 hasRelatedWork W3192416266 @default.
- W69592080 hasRelatedWork W83658943 @default.
- W69592080 hasRelatedWork W937570055 @default.
- W69592080 hasRelatedWork W2158002224 @default.
- W69592080 isParatext "false" @default.
- W69592080 isRetracted "false" @default.
- W69592080 magId "69592080" @default.
- W69592080 workType "article" @default.