Pages that link to "Item:Q1961452"
From MaRDI portal
The following pages link to On a generalization of extended resolution (Q1961452):
Displayed 29 items.
- Simulating circuit-level simplifications on CNF (Q352967) (← links)
- Incremental preprocessing methods for use in BMC (Q453488) (← links)
- On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers (Q823775) (← links)
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- Investigations on autark assignments (Q1841885) (← links)
- New methods for 3-SAT decision and worst-case analysis (Q1960406) (← links)
- Generating extended resolution proofs with a BDD-based SAT solver (Q2044191) (← links)
- Non-clausal redundancy properties (Q2055860) (← links)
- Covered clauses are not propagation redundant (Q2096437) (← links)
- Contradiction separation based dynamic multi-clause synergized automated deduction (Q2198231) (← links)
- Simulating strong practical proof systems with extended resolution (Q2209554) (← links)
- Strong extension-free proof systems (Q2303251) (← links)
- Definability for model counting (Q2303508) (← links)
- On preprocessing techniques and their impact on propositional model counting (Q2362107) (← links)
- Conformant planning as a case study of incremental QBF solving (Q2398267) (← links)
- Extended resolution simulates binary decision diagrams (Q2478427) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- (Q4989407) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- Blocked Clause Elimination for QBF (Q5200018) (← links)
- Present and Future of Practical SAT Solving (Q5504707) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- The resolution of Keller's conjecture (Q5918545) (← links)
- The resolution of Keller's conjecture (Q5970770) (← links)
- Generating Extended Resolution Proofs with a BDD-Based SAT Solver (Q6082228) (← links)