Pages that link to "Item:Q1020496"

The following pages link to A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496):

Displaying 17 items.

• Algorithm portfolios for noisy optimization (Q276539) (← links)
• ASlib: a benchmark library for algorithm selection (Q286390) (← links)
• Benchmarking a model checker for algorithmic improvements and tuning for performance (Q453484) (← links)
• A complexity perspective on entailment of parameterized linear constraints (Q487646) (← links)
• Empirical software metrics for benchmarking of verification tools (Q526771) (← links)
• Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
• A self-adaptive multi-engine solver for quantified Boolean formulas (Q1020496) (← links)
• Proof complexity of symbolic QBF reasoning (Q2118330) (← links)
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) (Q2321317) (← links)
• Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
• An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning (Q2672113) (← links)
• SUNNY: a Lazy Portfolio Approach for Constraint Solving (Q2931261) (← links)
• Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas (Q3655211) (← links)
• aspeed: Solver scheduling via answer set programming (Q4592974) (← links)
• Efficiently Coupling the I-DLV Grounder with ASP Solvers (Q4957193) (← links)
• What Works Best When? A Systematic Evaluation of Heuristics for Max-Cut and QUBO (Q5136083) (← links)
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges (Q5743603) (← links)