A microkernel architecture for constraint programming (Q1706769): Difference between revisions

@@ Property / describes a project that uses @@
+Gecode
@@ Property / describes a project that uses: Gecode / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1499804200
@@ Property / OpenAlex ID: W1499804200 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5334
@@ Property / arXiv ID: 1401.5334 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Model-driven visualizations of constraint-based local search
+Normal rank
@@ Property / cites work @@
+Watched Literals for Constraint Propagation in Minion
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+SALSA: a language for search algorithms
@@ Property / cites work: SALSA: a language for search algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Transparent Parallelization of Constraint Programming
+Normal rank
@@ Property / cites work @@
+Parallel and distributed local search in COMET
@@ Property / cites work: Parallel and distributed local search in COMET / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR techniques in contraint programming for combinatorial optimzation problems. 9th international conference, CPAIOR 2012, Nantes, France, May 28--June 1, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4473038
@@ Property / cites work: Q4473038 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Search combinators
@@ Property / cites work: Search combinators / rank @@
+Normal rank
@@ Property / cites work @@
+View-based propagator derivation
@@ Property / cites work: View-based propagator derivation / rank @@
+Normal rank
@@ Property / cites work @@
+Contraint-based combinators for local search
@@ Property / cites work: Contraint-based combinators for local search / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Control for Hybrid Search
@@ Property / cites work: Nondeterministic Control for Hybrid Search / rank @@
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank