Expansion-based QBF solving versus Q-resolution (Q2339467): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2015.01.048
@@ Property / DOI: 10.1016/j.tcs.2015.01.048 / rank @@
-Normal rank
@@ Property / author @@
-João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
-Normal rank
@@ Property / author @@
+João P. Marques-Silva
@@ Property / author: João P. Marques-Silva / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBE
@@ Property / describes a project that uses: QUBE / 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 @@
+Nenofex
@@ Property / describes a project that uses: Nenofex / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBOS
@@ Property / describes a project that uses: QUBOS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Quaffle
@@ Property / describes a project that uses: Quaffle / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / 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.1016/j.tcs.2015.01.048
+Normal rank
@@ Property / OpenAlex ID @@
+W2051846104
@@ Property / OpenAlex ID: W2051846104 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62047279
@@ Property / Wikidata QID: Q62047279 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability, branch-width and Tseitin tautologies
+Normal rank
@@ Property / cites work @@
+The relative efficiency of propositional proof systems
+Normal rank
@@ Property / cites work @@
+Quantified propositional calculi and fragments of bounded arithmetic
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+On Sequent Systems and Resolution for QBFs
@@ Property / cites work: On Sequent Systems and Resolution for QBFs / rank @@
+Normal rank
@@ Property / cites work @@
+Contributions to the Theory of Practical Quantified Boolean Formula Solving
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Q4427904
@@ Property / cites work: Q4427904 / rank @@
+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 @@
+Solving QBF with Counterexample Guided Refinement
@@ Property / cites work: Solving QBF with Counterexample Guided Refinement / 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 @@
+Q3566747
@@ Property / cites work: Q3566747 / rank @@
+Normal rank
@@ Property / cites work @@
+On Propositional QBF Expansions and Q-Resolution
@@ Property / cites work: On Propositional QBF Expansions and Q-Resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4390867
@@ Property / cites work: Q4390867 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3436752
@@ Property / cites work: Q3436752 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction-Based Algorithm for 2QBF
@@ Property / cites work: Abstraction-Based Algorithm for 2QBF / rank @@
+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 @@
+Linear reasoning. A new form of the Herbrand-Gentzen theorem
+Normal rank
@@ Property / cites work @@
+Davis-Putnam resolution versus unrestricted resolution
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Q3002781
@@ Property / cites work: Q3002781 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings
+Normal rank
@@ Property / DBLP publication ID @@
+journals/tcs/JanotaM15
@@ Property / DBLP publication ID: journals/tcs/JanotaM15 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2015.01.048
@@ Property / DOI: 10.1016/J.TCS.2015.01.048 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2339467