Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation (Q5326456): Difference between revisions

← Older edit

@@ Property / author @@
+Allen van Gelder
@@ Property / author: Allen van Gelder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DepQBF
@@ Property / describes a project that uses: DepQBF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-39071-5_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2160972885
@@ Property / OpenAlex ID: W2160972885 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Q3624018
@@ Property / Recommended article: Q3624018 / rank @@
+Normal rank
@@ Property / Recommended article: Q3624018 / qualifier @@
+Similarity Score: 0.9048817Amount 0.9048817
Unit 1
-Amount
+.9048817
 Unit
@@ Property / Recommended article: Q3624018 / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas
+Normal rank
+Similarity Score: 0.8502471Amount 0.8502471
Unit 1
-Amount
+.8502471
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+A dichotomy theorem for learning quantified Boolean formulas
+Normal rank
+Similarity Score: 0.8481359Amount 0.8481359
Unit 1
-Amount
+.8481359
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning
+Normal rank
+Similarity Score: 0.84590816Amount 0.84590816
Unit 1
-Amount
+.84590816
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving
+Normal rank
+Similarity Score: 0.840253Amount 0.840253
Unit 1
-Amount
+.840253
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Binary Clause Reasoning in QBF
@@ Property / Recommended article: Binary Clause Reasoning in QBF / rank @@
+Normal rank
@@ Property / Recommended article: Binary Clause Reasoning in QBF / qualifier @@
+Similarity Score: 0.8384287Amount 0.8384287
Unit 1
-Amount
+.8384287
 Unit
@@ Property / Recommended article: Binary Clause Reasoning in QBF / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Inductive Logic Programming
@@ Property / Recommended article: Inductive Logic Programming / rank @@
+Normal rank
@@ Property / Recommended article: Inductive Logic Programming / qualifier @@
+Similarity Score: 0.82858837Amount 0.82858837
Unit 1
-Amount
+.82858837
 Unit
@@ Property / Recommended article: Inductive Logic Programming / qualifier @@
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Solving dependency quantified Boolean formulas using quantifier localization
+Normal rank
+Similarity Score: 0.82765424Amount 0.82765424
Unit 1
-Amount
+.82765424
 Unit
+Recommender Run: Recommender Run 2
@@ Property / Recommended article @@
+Q4427904
@@ Property / Recommended article: Q4427904 / rank @@
+Normal rank
@@ Property / Recommended article: Q4427904 / qualifier @@
+Similarity Score: 0.8275101Amount 0.8275101
Unit 1
-Amount
+.8275101
 Unit
@@ Property / Recommended article: Q4427904 / qualifier @@
+Recommender Run: Recommender Run 2