Backjumping for quantified Boolean logic satisfiability (Q814445): Difference between revisions

@@ Property / describes a project that uses @@
+QuBE++
@@ Property / describes a project that uses: QuBE++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUBE
@@ Property / describes a project that uses: QUBE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q62040564
@@ Property / Wikidata QID: Q62040564 / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+Resolution for quantified Boolean formulas
@@ Property / cites work: Resolution for quantified Boolean formulas / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+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 @@
+Q4539619
@@ Property / cites work: Q4539619 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539620
@@ Property / cites work: Q4539620 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel SAT-solver -- efficient workload balancing
+Normal rank
@@ Property / cites work @@
+Q4252522
@@ Property / cites work: Q4252522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754076
@@ Property / cites work: Q2754076 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4799252
@@ Property / cites work: Q4799252 / rank @@
+Normal rank
@@ Property / cites work @@
+A theoretical evaluation of selected backtracking algorithms.
+Normal rank
@@ Property / cites work @@
+Q2717783
@@ Property / cites work: Q2717783 / rank @@
+Normal rank