Pages that link to "Item:Q3007670"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing - SAT 2011 (Q3007670):
Displaying 25 items.
- Satisfiability Certificates Verifiable in Subexponential Time (Q3007671) (← links)
- On Variables with Few Occurrences in Conjunctive Normal Forms (Q3007672) (← links)
- Satisfiability of Acyclic and almost Acyclic CNF Formulas (II) (Q3007673) (← links)
- BDDs for Pseudo-Boolean Constraints – Revisited (Q3007674) (← links)
- DPLL+ROBDD Derivation Applied to Inversion of Some Cryptographic Functions (Q3007675) (← links)
- πDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space (Q3007676) (← links)
- How to Apply SAT-Solving for the Equivalence Test of Monotone Normal Forms (Q3007677) (← links)
- Enumerating All Solutions of a Boolean CSP by Non-decreasing Weight (Q3007678) (← links)
- A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs (Q3007679) (← links)
- Minimally Unsatisfiable Boolean Circuits (Q3007680) (← links)
- On Improving MUS Extraction Algorithms (Q3007681) (← links)
- Faster Extraction of High-Level Minimal Unsatisfiable Cores (Q3007682) (← links)
- On Freezing and Reactivating Learnt Clauses (Q3007683) (← links)
- Efficient CNF Simplification Based on Binary Implication Graphs (Q3007684) (← links)
- Between Restarts and Backjumps (Q3007685) (← links)
- Abstraction-Based Algorithm for 2QBF (Q3007686) (← links)
- Transformations into Normal Forms for Quantified Circuits (Q3007687) (← links)
- Failed Literal Detection for QBF (Q3007688) (← links)
- Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One (Q3007689) (← links)
- Generating Diverse Solutions in SAT (Q3007690) (← links)
- Captain Jack: New Variable Selection Heuristics in Local Search for SAT (Q3007692) (← links)
- Careful Ranking of Multiple Solvers with Timeouts and Ties (Q3007693) (← links)
- Generalized Conflict-Clause Strengthening for Satisfiability Solvers (Q3007694) (← links)
- Empirical Study of the Anatomy of Modern Sat Solvers (Q3007695) (← links)
- Parameterized Complexity of DPLL Search Procedures (Q5892559) (← links)
