Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Solver portfolio"”.
-
Solving Hybrid Boolean SAT by Continuous Optimization
… Clause Learning (CDCL) and Local Search SAT solvers—has been remarkable. Yet, while SAT solvers, aimed at solving industrial-scale benchmarks in Conjunctive Normal Form (CNF), have become quite mature, other types of non-CNF, i.e., hybrid constraints (e.g., cardinality/pseudo-Boolean …
-
Exploiting machine learning for combinatorial problem solving and optimisation
… a number of contributions to the field of solver portfolios, in particular for combinatorial search problems. We propose a novel hierarchical portfolio which does not rely on a single problem representation, but may transform the problem to an alternate representation using a portfolio of …