Conformant planning as a case study of incremental QBF solving (Q2398267): 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 @@
+Nenofex
@@ Property / describes a project that uses: Nenofex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAReQS
@@ Property / describes a project that uses: RAReQS / 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 @@
+semprop
@@ Property / describes a project that uses: semprop / 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 @@
+Glucose
@@ Property / describes a project that uses: Glucose / 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/s10472-016-9501-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2309239751
@@ Property / OpenAlex ID: W2309239751 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59529080
@@ Property / Wikidata QID: Q59529080 / rank @@
+Normal rank
@@ Property / cites work @@
+Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
+Normal rank
@@ Property / cites work @@
+Unified QBF certification and its applications
@@ Property / cites work: Unified QBF certification and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Computational complexity of planning and approximate planning in the presence of incompleteness
+Normal rank
@@ Property / cites work @@
+Q2954985
@@ Property / cites work: Q2954985 / 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 @@
+Blocked Clause Elimination for QBF
@@ Property / cites work: Blocked Clause Elimination for QBF / rank @@
+Normal rank
@@ Property / cites work @@
+Fast planning through planning graph analysis
@@ Property / cites work: Fast planning through planning graph analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Universal Expansion for Preprocessing QBF
@@ Property / cites work: Bounded Universal Expansion for Preprocessing QBF / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Q3457218
@@ Property / cites work: Q3457218 / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+Q2845506
@@ Property / cites work: Q2845506 / rank @@
+Normal rank
@@ Property / cites work @@
+Conformant planning as a case study of incremental QBF solving
+Normal rank
@@ Property / cites work @@
+sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+Clause Elimination for SAT and QSAT
@@ Property / cites work: Clause Elimination for SAT and QSAT / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Proof System for QBF Preprocessing
@@ Property / cites work: A Unified Proof System for QBF Preprocessing / rank @@
+Normal rank
@@ Property / cites work @@
+Dominant Controllability Check Using QBF-Solver and Netlist Optimizer
+Normal rank
@@ Property / cites work @@
+Conformant planning via heuristic forward search: A new approach
+Normal rank
@@ Property / cites work @@
+On QBF Proofs and Preprocessing
@@ Property / cites work: On QBF Proofs and Preprocessing / rank @@
+Normal rank
@@ Property / cites work @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Expansion-based QBF solving versus Q-resolution
@@ Property / cites work: Expansion-based QBF solving versus Q-resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Reconstructing Solutions after Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Inprocessing Rules
@@ Property / cites work: Inprocessing Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+On a generalization of extended resolution
@@ Property / cites work: On a generalization of extended resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Factoring Out Assumptions to Speed Up MUS Extraction
+Normal rank
@@ Property / cites work @@
+Q4412858
@@ Property / cites work: Q4412858 / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing Search-Based QBF Solving by Dynamic Blocked Clause Elimination
+Normal rank
@@ Property / cites work @@
+Nenofex: Expanding NNF for QBF Solving
@@ Property / cites work: Nenofex: Expanding NNF for QBF Solving / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental QBF Solving by DepQBF
@@ Property / cites work: Incremental QBF Solving by DepQBF / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation
+Normal rank
@@ Property / cites work @@
+Verification of partial designs using incremental QBF
+Normal rank
@@ Property / cites work @@
+Ultimately Incremental SAT
@@ Property / cites work: Ultimately Incremental SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Compiling Uncertainty Away in Conformant Planning Problems with Bounded Width
+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 @@
+Extended Failed-Literal Preprocessing for Quantified Boolean Formulas
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/EglyKLP17
@@ Property / DBLP publication ID: journals/amai/EglyKLP17 / rank @@
+Normal rank