aspeed: Solver scheduling via answer set programming (Q4592974): Difference between revisions

@@ Property / arXiv ID @@
+.1024
@@ Property / arXiv ID: 1401.1024 / rank @@
+Normal rank
@@ Property / cites work @@
+Unsatisfiability-based optimization in clasp
@@ Property / cites work: Unsatisfiability-based optimization in clasp / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning dynamic algorithm portfolios
@@ Property / cites work: Learning dynamic algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+Principles and practice of constraint programming. 18th international conference, CP 2012, Québec City, QC, Canada, October 8--12, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+A self-adaptive multi-engine solver for quantified Boolean formulas
+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 @@
+Hierarchical Hardness Models for SAT
@@ Property / cites work: Hierarchical Hardness Models for SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2170245713
@@ Property / OpenAlex ID: W2170245713 / rank @@
+Normal rank