Automatic construction of parallel portfolios via algorithm configuration (Q511786): Difference between revisions

@@ Property / author @@
+Marius Lindauer
@@ Property / author: Marius Lindauer / rank @@
+Normal rank
@@ Property / author @@
+Kevin Leyton-Brown
@@ Property / author: Kevin Leyton-Brown / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T20
@@ Property / Mathematics Subject Classification ID: 68T20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W01
@@ Property / Mathematics Subject Classification ID: 68W01 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+W10
@@ Property / Mathematics Subject Classification ID: 68W10 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6687957
@@ Property / zbMATH DE Number: 6687957 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm configuration
@@ Property / zbMATH Keywords: algorithm configuration / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parallel SAT solving
@@ Property / zbMATH Keywords: parallel SAT solving / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+algorithm portfolios
@@ Property / zbMATH Keywords: algorithm portfolios / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+programming by optimization
@@ Property / zbMATH Keywords: programming by optimization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automated parallelization
@@ Property / zbMATH Keywords: automated parallelization / rank @@
+Normal rank

Revision as of 02:59, 1 July 2023