MiniCP: a lightweight solver for constraint programming (Q2246188): 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 @@
+cc(FD)
@@ Property / describes a project that uses: cc(FD) / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+COMET
@@ Property / describes a project that uses: COMET / 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/s12532-020-00190-7
+Normal rank
@@ Property / OpenAlex ID @@
+W3126611880
@@ Property / OpenAlex ID: W3126611880 / rank @@
+Normal rank
@@ Property / cites work @@
+IBM ILOG CP optimizer for scheduling. 20+ years of scheduling with constraints at IBM/ILOG
+Normal rank
@@ Property / cites work @@
+Design, implementation, and evaluation of the constraint language cc(FD)
+Normal rank
@@ Property / cites work @@
+Model-driven visualizations of constraint-based local search
+Normal rank
@@ Property / cites work @@
+A microkernel architecture for constraint programming
+Normal rank
@@ Property / cites work @@
+Consistency in networks of relations
@@ Property / cites work: Consistency in networks of relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic Algorithms
@@ Property / cites work: Nondeterministic Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Advances in Constraints
@@ Property / cites work: Recent Advances in Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Integrated methods for optimization
@@ Property / cites work: Integrated methods for optimization / rank @@
+Normal rank
@@ Property / cites work @@
+Search combinators
@@ Property / cites work: Search combinators / rank @@
+Normal rank