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

@@ Property / DOI @@
-.1016/j.artint.2016.05.004
@@ Property / DOI: 10.1016/j.artint.2016.05.004 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+SMAC
@@ Property / describes a project that uses: SMAC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Paramils
@@ Property / describes a project that uses: Paramils / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+irace
@@ Property / describes a project that uses: irace / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATzilla
@@ Property / describes a project that uses: SATzilla / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MiniSat
@@ Property / describes a project that uses: MiniSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+March_eq
@@ Property / describes a project that uses: March_eq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Chaff
@@ Property / describes a project that uses: Chaff / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Treengeling
@@ Property / describes a project that uses: Treengeling / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ppfolio
@@ Property / describes a project that uses: ppfolio / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATenstein
@@ Property / describes a project that uses: SATenstein / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+pfolioUZK
@@ Property / describes a project that uses: pfolioUZK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HordeSat
@@ Property / describes a project that uses: HordeSat / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+satUZK
@@ Property / describes a project that uses: satUZK / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Auto-WEKA
@@ Property / describes a project that uses: Auto-WEKA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+aspeed
@@ Property / describes a project that uses: aspeed / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AClib
@@ Property / describes a project that uses: AClib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2398436144
@@ Property / OpenAlex ID: W2398436144 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59585836
@@ Property / Wikidata QID: Q59585836 / rank @@
+Normal rank
@@ Property / cites work @@
+HordeSat: A Massively Parallel Portfolio SAT Solver
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Theory and applications of satisfiability testing -- SAT 2012. 15th international conference, Trento, Italy, June 17--20, 2012. Proceedings
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Learning dynamic algorithm portfolios
@@ Property / cites work: Learning dynamic algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-threaded ASP solving with clasp
@@ Property / cites work: Multi-threaded ASP solving with clasp / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithm portfolios
@@ Property / cites work: Algorithm portfolios / rank @@
+Normal rank
@@ Property / cites work @@
+Q3639756
@@ Property / cites work: Q3639756 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398056
@@ Property / cites work: Q5398056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5472387
@@ Property / cites work: Q5472387 / rank @@
+Normal rank
@@ Property / cites work @@
+ParamILS: An Automatic Algorithm Configuration Framework
+Normal rank
@@ Property / cites work @@
+SATenstein: automatically building local search SAT solvers from components
+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 @@
+Q4739657
@@ Property / cites work: Q4739657 / rank @@
+Normal rank
@@ Property / cites work @@
+Learning parallel portfolios of algorithms
@@ Property / cites work: Learning parallel portfolios of algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Captain Jack: New Variable Selection Heuristics in Local Search for SAT
+Normal rank
@@ Property / cites work @@
+Q3194801
@@ Property / cites work: Q3194801 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624141
@@ Property / cites work: Q3624141 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2016.05.004
@@ Property / DOI: 10.1016/J.ARTINT.2016.05.004 / rank @@
+Normal rank