Value ordering for quantified CSPs (Q1020498): Difference between revisions

@@ 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/s10601-008-9052-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2098817723
@@ Property / OpenAlex ID: W2098817723 / rank @@
+Normal rank
@@ Property / cites work @@
+Reusing CSP Propagators for QCSPs
@@ Property / cites work: Reusing CSP Propagators for QCSPs / rank @@
+Normal rank
@@ Property / cites work @@
+BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+Identifying and exploiting problem structures using explanation-based constraint programming
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+The impact of search heuristics on heavy-tailed behaviour
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Consistency for Quantified Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Q5802493
@@ Property / cites work: Q5802493 / rank @@
+Normal rank