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

@@ 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