SATzilla: portfolio-based algorithm selection for SAT
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Experimental study on strategy of combining SAT algorithms
- Optimal defense against election control by deleting voter groups
- The complexity of probabilistic lobbying
- On the impact of configuration on abstract argumentation automated reasoning
- Propagation based local search for bit-precise reasoning
- Efficient benchmarking of algorithm configurators via model-based surrogates
- Scalable Gaussian process-based transfer surrogates for hyperparameter optimization
- Star-topology decoupled state space search
- Synergies between operations research and data mining: the emerging use of multi-objective approaches
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- Combining CP and ILP in a tree decomposition of bounded height for the sum colouring problem
- The voice of optimization
- Gorthaur-EXP3: bandit-based selection from a portfolio of recommendation algorithms balancing the accuracy-diversity dilemma
- Theorem proving as constraint solving with coherent logic
- ProCount: weighted projected model counting with graded project-join trees
- On the hierarchical community structure of practical Boolean formulas
- MedleySolver: online SMT algorithm selection
- Heterogeneous heuristic optimisation and scheduling for first-order theorem proving
- Variable ordering for decision diagrams: a portfolio approach
- Algorithm selection for the team orienteering problem
- Boosting evolutionary algorithm configuration
- Integrated integer programming and decision diagram search tree with an application to the maximum independent set problem
- Paracoherent answer set computation
- Metaheuristics ``In the large
- Iterative-deepening search with on-line tree size prediction
- On the use of fitness landscape features in meta-learning based algorithm selection for the quadratic assignment problem
- Solving SAT in a distributed cloud: a portfolio approach
- Item response theory in AI: analysing machine learning classifiers at the instance level
- The algorithm selection competitions 2015 and 2017
- Compiling CP subproblems to MDDs and d-DNNFs
- meSAT: multiple encodings of CSP to SAT
- Machine learning for first-order theorem proving
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Portfolios in stochastic local search: efficiently computing most probable explanations in Bayesian networks
- A taxonomy of exact methods for partial Max-SAT
- Complete Boolean satisfiability solving algorithms based on local search
- Portfolio theorem proving and prover runtime prediction for geometry
- SATenstein: automatically building local search SAT solvers from components
- An algorithm selection approach for the flexible job shop scheduling problem: choosing constraint programming solvers through machine learning
- Ensemble-based prediction of SAT search behaviour
- MaxSAT by improved instance-specific algorithm configuration
- Algorithm portfolios for noisy optimization
- Extreme cases in SAT problems
- ASlib: a benchmark library for algorithm selection
- Automated theorem proving in GeoGebra: current achievements
- MaLeS: a framework for automatic tuning of automated theorem provers
- SUNNY: a lazy portfolio approach for constraint solving
- An automatic algorithm selection approach for the multi-mode resource-constrained project scheduling problem
- Captain Jack: new variable selection heuristics in local search for SAT
- Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL
- Propositional SAT solving
- DASH: dynamic approach for switching heuristics
- Towards objective measures of algorithm performance across instance space
- Online Estimation of SAT Solving Runtime
- Hierarchical Hardness Models for SAT
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Efficiently Calculating Evolutionary Tree Measures Using SAT
- ManySAT: a parallel SAT solver
- Exploring the role of graph spectra in graph coloring algorithm performance
- Algorithm portfolio selection as a bandit problem with unbounded losses
- Benchmarking a model checker for algorithmic improvements and tuning for performance
- A review of literature on parallel constraint solving
- aspeed: solver scheduling via answer set programming
- Algorithm runtime prediction: methods \& evaluation
- An empirical evaluation of portfolios approaches for solving CSPs
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- Improved Cross-Validation for Classifiers that Make Algorithmic Choices to Minimise Runtime Without Compromising Output Correctness
- scientific article; zbMATH DE number 7453125 (Why is no real title available?)
- scientific article; zbMATH DE number 7455711 (Why is no real title available?)
- The configurable SAT solver challenge (CSSC)
- Automatic construction of parallel portfolios via algorithm configuration
- \textsc{Alors}: an algorithm recommender system
- Weighted heuristic anytime search: new schemes for optimization over graphical models
- What Works Best When? A Systematic Evaluation of Heuristics for Max-Cut and QUBO
- Empirical software metrics for benchmarking of verification tools
- A PAC Approach to Application-Specific Algorithm Selection
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Principles and Practice of Constraint Programming – CP 2004
- Autonomous operator management for evolutionary algorithms
- Machine learning and logic: a new frontier in artificial intelligence
- Parallel Logic Programming: A Sequel
- Stochastic local search and parameters recommendation: a case study on flowshop problems
- Generating random instances of weighted model counting. An empirical analysis with varying primal treewidth
- Optimal decision trees for the algorithm selection problem: integer programming based approaches
- Targeted configuration of an SMT solver
- Automated streamliner portfolios for constraint satisfaction problems
- Practical performance models of algorithms in evolutionary program induction and other domains
- Model counting meets \(F_0\) estimation
- Unsatisfiability proofs for distributed clause-sharing SAT solvers
- On the impact of initialisation strategies on maximum flow algorithm performance
- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Instance space analysis for the car sequencing problem
- Lessons on datasets and paradigms in machine learning for symbolic computation: a case study on CAD
- Revisiting satzilla features in 2024
- Global benchmark database
- Novel tree-search method for synthesizing SMT strategies
- Active learning for SAT solver benchmarking. Extended and revised version
- Learning to project in a criterion space search algorithm: an application to multi-objective binary linear programming
- Automatic algorithm selection for pseudo-Boolean optimization with given computational time limits
- A review and ranking of operators in adaptive large neighborhood search for vehicle routing problems
This page was built for publication: SATzilla: portfolio-based algorithm selection for SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3624141)
