A constraint-based local search backend for MiniZinc (Q890003): Difference between revisions

@@ Property / describes a project that uses @@
+OscaR
@@ Property / describes a project that uses: OscaR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ANTLR
@@ Property / describes a project that uses: ANTLR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+fzn2smt
@@ Property / describes a project that uses: fzn2smt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Oscar.cbls
@@ Property / describes a project that uses: Oscar.cbls / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kangaroo
@@ Property / describes a project that uses: Kangaroo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SUNNY
@@ Property / describes a project that uses: SUNNY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LocalSolver
@@ Property / describes a project that uses: LocalSolver / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SCIP
@@ Property / describes a project that uses: SCIP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FlatZinc
@@ Property / describes a project that uses: FlatZinc / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OR-tools
@@ Property / describes a project that uses: OR-tools / 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-015-9184-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2066265366
@@ Property / OpenAlex ID: W2066265366 / rank @@
+Normal rank
@@ Property / cites work @@
+SCIP: solving constraint integer programs
@@ Property / cites work: SCIP: solving constraint integer programs / rank @@
+Normal rank
@@ Property / cites work @@
+LocalSolver 1.x: A black-box local-search solver for 0-1 programming
+Normal rank
@@ Property / cites work @@
+SUNNY: a Lazy Portfolio Approach for Constraint Solving
+Normal rank
@@ Property / cites work @@
+Global constraint catalogue: past, present and future
+Normal rank
@@ Property / cites work @@
+Q4739600
@@ Property / cites work: Q4739600 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling Social Golfers Locally
@@ Property / cites work: Scheduling Social Golfers Locally / rank @@
+Normal rank
@@ Property / cites work @@
+An Integrated Solver for Optimization Problems
@@ Property / cites work: An Integrated Solver for Optimization Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Tabu Search—Part I
@@ Property / cites work: Tabu Search—Part I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducibility among Combinatorial Problems
@@ Property / cites work: Reducibility among Combinatorial Problems / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically improving constraint models in Savile Row
+Normal rank
@@ Property / cites work @@
+A Fast Taboo Search Algorithm for the Job Shop Problem
+Normal rank
@@ Property / cites work @@
+Combining the scalability of local search with the pruning techniques of systematic search
+Normal rank
@@ Property / cites work @@
+Philosophy of the MiniZinc challenge
@@ Property / cites work: Philosophy of the MiniZinc challenge / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Model-driven visualizations of constraint-based local search
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank