Preprocessing for DQBF (Q3453223): Difference between revisions

@@ Property / describes a project that uses @@
+sQueezeBF
@@ Property / describes a project that uses: sQueezeBF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Bloqqer
@@ Property / describes a project that uses: Bloqqer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coprocessor
@@ Property / describes a project that uses: Coprocessor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quantor
@@ Property / describes a project that uses: Quantor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Easychair
@@ Property / describes a project that uses: Easychair / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-24318-4_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2185821556
@@ Property / OpenAlex ID: W2185821556 / rank @@
+Normal rank
@@ Property / cites work @@
+Thread-parallel integrated test pattern generator utilizing satisfiability analysis
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of SAT Solvers to Cryptanalysis of Hash Functions
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Lower bounds for multiplayer noncooperative games of incomplete information
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for computing backbones of propositional formulae
+Normal rank
@@ Property / cites work @@
+Fast DQBF Refutation
@@ Property / cites work: Fast DQBF Refutation / rank @@
+Normal rank
@@ Property / cites work @@
+Blocked Clause Elimination
@@ Property / cites work: Blocked Clause Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing for DQBF
@@ Property / cites work: Preprocessing for DQBF / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Depth-First Search and Linear Graph Algorithms
@@ Property / cites work: Depth-First Search and Linear Graph Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Toward leaner binary-clause reasoning in a satisfiability solver
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient CNF Simplification Based on Binary Implication Graphs
+Normal rank
@@ Property / cites work @@
+Backdoor sets of quantified Boolean formulas
@@ Property / cites work: Backdoor sets of quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Variable Dependencies of Quantified CSPs
@@ Property / cites work: Variable Dependencies of Quantified CSPs / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently Representing Existential Dependency Sets for Expansion-based QBF Solvers
+Normal rank
@@ Property / cites work @@
+Variable Independence and Resolution Paths for Quantified Boolean Formulas
+Normal rank
@@ Property / cites work @@
+Computing Resolution-Path Dependencies in Linear Time ,
+Normal rank
@@ Property / cites work @@
+Henkin quantifiers and Boolean formulae: a certification perspective of DQBF
+Normal rank
@@ Property / cites work @@
+Dependency Quantified Horn Formulas: Models and Complexity
+Normal rank
@@ Property / cites work @@
+Q3566747
@@ Property / cites work: Q3566747 / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination Procedures for CNF Formulas
@@ Property / cites work: Clause Elimination Procedures for CNF Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental QBF Solving by DepQBF
@@ Property / cites work: Incremental QBF Solving by DepQBF / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3453223