Promoting robust black-box solvers through competitions (Q606901): Difference between revisions

@@ Property / describes a project that uses @@
+Sugar
@@ Property / describes a project that uses: Sugar / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MINION
@@ Property / describes a project that uses: MINION / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mistral
@@ Property / describes a project that uses: Mistral / 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-010-9092-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2157275554
@@ Property / OpenAlex ID: W2157275554 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736486
@@ Property / cites work: Q4736486 / rank @@
+Normal rank
@@ Property / cites work @@
+Heavy-tailed phenomena in satisfiability and constraint satisfaction problems
+Normal rank
@@ Property / cites work @@
+Q5457274
@@ Property / cites work: Q5457274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473037
@@ Property / cites work: Q4473037 / rank @@
+Normal rank
@@ Property / cites work @@
+Principles and Practice of Constraint Programming – CP 2004
+Normal rank
@@ Property / cites work @@
+Compiling Finite Linear CSP into SAT
@@ Property / cites work: Compiling Finite Linear CSP into SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Partition search for non-binary constraint satisfaction
+Normal rank