The following pages link to Blocked Clause Elimination (Q3557074):
Displaying 33 items.
- SAT race 2015 (Q334795) (← links)
- Simulating circuit-level simplifications on CNF (Q352967) (← links)
- Symmetry in Gardens of Eden (Q396822) (← links)
- The configurable SAT solver challenge (CSSC) (Q502389) (← links)
- Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability (Q511772) (← links)
- Variable and clause elimination for LTL satisfiability checking (Q748758) (← 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)
- Formally verifying the solution to the Boolean Pythagorean triples problem (Q2323449) (← links)
- Set-blocked clause and extended set-blocked clause in first-order logic (Q2333858) (← links)
- On preprocessing techniques and their impact on propositional model counting (Q2362107) (← links)
- Solution validation and extraction for QBF preprocessing (Q2362496) (← links)
- Craig interpolation with clausal first-order tableaux (Q2666953) (← links)
- Super-Blocked Clauses (Q2817910) (← links)
- On the Hardness of SAT with Community Structure (Q2818008) (← links)
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer (Q2818017) (← links)
- An Expressive Model for Instance Decomposition Based Parallel SAT Solvers (Q2964456) (← links)
- On Freezing and Reactivating Learnt Clauses (Q3007683) (← links)
- Efficient CNF Simplification Based on Binary Implication Graphs (Q3007684) (← links)
- A Fast Symbolic Transformation Based Algorithm for Reversible Logic Synthesis (Q3186608) (← links)
- Truth Assignments as Conditional Autarkies (Q3297584) (← links)
- Preprocessing for DQBF (Q3453223) (← links)
- Recognition of Nested Gates in CNF Formulas (Q3453230) (← links)
- Exploiting Resolution-Based Representations for MaxSAT Solving (Q3453232) (← links)
- Expressing Symmetry Breaking in DRAT Proofs (Q3454124) (← links)
- (Q4553279) (← links)
- Multi-threaded ASP solving with clasp (Q4911132) (← links)
- The (D)QBF Preprocessor HQSpre – Underlying Theory and Its Implementation1 (Q5015602) (← links)
- Blocked Clause Elimination for QBF (Q5200018) (← links)
- SAT-Inspired Eliminations for Superposition (Q5875949) (← links)
- A comprehensive framework for saturation theorem proving (Q5970776) (← links)
