Non-binary quantified CSP: Algorithms and modelling (Q1037645): Difference between revisions

@@ Property / author @@
+Peter W. Nightingale
@@ Property / author: Peter W. Nightingale / 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.1007/s10601-009-9068-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2063268277
@@ Property / OpenAlex ID: W2063268277 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles of Constraint Programming
@@ Property / cites work: Principles of Constraint Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Solution Directed Backjumping for QCSP
@@ Property / cites work: Solution Directed Backjumping for QCSP / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-based scheduling: Applying constraint programming to scheduling problems.
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751045
@@ Property / cites work: Q2751045 / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
+Normal rank
@@ Property / cites work @@
+A practical use of Jackson's preemptive schedule for solving the job shop problem
+Normal rank
@@ Property / cites work @@
+Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Solving quantified constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q3624018
@@ Property / cites work: Q3624018 / rank @@
+Normal rank
@@ Property / cites work @@
+Backjumping for quantified Boolean logic satisfiability
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Stochastic constraint programming: A scenario-based approach
+Normal rank
@@ Property / cites work @@
+Consistency for Quantified Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Repair-Based Methods for Quantified CSPs
@@ Property / cites work: Repair-Based Methods for Quantified CSPs / rank @@
+Normal rank
@@ Property / cites work @@
+Time-Indexed Formulations for Machine Scheduling Problems: Column Generation
+Normal rank
@@ Property / cites work @@
+BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
+Normal rank