swMATH6281MaRDI QIDQ18412FDOQ18412
Author name not available (Why is that?)
Official website: http://www.cs.ubc.ca/labs/beta/Projects/SATzilla/
Cited In (only showing first 100 items - show all)
- Captain Jack: new variable selection heuristics in local search for SAT
- Pitfalls and best practices in algorithm configuration
- Impact of Community Structure on SAT Solver Performance
- Machine learning for first-order theorem proving
- Algorithm portfolio selection as a bandit problem with unbounded losses
- Iterative-deepening search with on-line tree size prediction
- MaxSAT by improved instance-specific algorithm configuration
- Algorithm portfolios for noisy optimization
- Portfolio approaches for constraint optimization problems
- GANAK
- A PAC Approach to Application-Specific Algorithm Selection
- Algorithm runtime prediction: methods \& evaluation
- ASlib: a benchmark library for algorithm selection
- Towards objective measures of algorithm performance across instance space
- The complexity of probabilistic lobbying
- Extreme cases in SAT problems
- Star-topology decoupled state space search
- Automated theorem proving in GeoGebra: current achievements
- MaLeS: a framework for automatic tuning of automated theorem provers
- Propositional SAT solving
- Deciding the consistency of non-linear real arithmetic constraints with a conflict driven search using cylindrical algebraic coverings
- An automatic algorithm selection approach for the multi-mode resource-constrained project scheduling problem
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
- Algorithm survival analysis
- Benchmarking a model checker for algorithmic improvements and tuning for performance
- Autonomous operator management for evolutionary algorithms
- Optimal defense against election control by deleting voter groups
- A review of literature on parallel constraint solving
- SATzilla: portfolio-based algorithm selection for SAT
- Metaheuristics ``In the large
- Adaptive Constraint Satisfaction: The Quickest First Principle
- DASH: dynamic approach for switching heuristics
- Machine learning for mathematical software
- E-MaLeS 1.1
- Practical performance models of algorithms in evolutionary program induction and other domains
- Automatic construction of optimal static sequential portfolios for AI planning and beyond
- Reconstruction of Z3's bit-vector proofs in HOL4 and Isabelle/HOL
- Exploring the role of graph spectra in graph coloring algorithm performance
- CylindricalAlgebraicDecompose
- OMiGA
- MATILDA
- PortLib
- URSA: a system for uniform reduction to SAT
- AutoFolio
- GenericWrapper4AC
- HPOlib
- AIspace
- InstanceSpace
- VIS
- MachSMT
- On the impact of configuration on abstract argumentation automated reasoning
- Propagation based local search for bit-precise reasoning
- pSMAC
- MedleySolver
- Efficiently Calculating Evolutionary Tree Measures Using SAT
- The configurable SAT solver challenge (CSSC)
- Theorem proving as constraint solving with coherent logic
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- \textsc{Alors}: an algorithm recommender system
- Automatic construction of parallel portfolios via algorithm configuration
- Weighted heuristic anytime search: new schemes for optimization over graphical models
- Synergies between operations research and data mining: the emerging use of multi-objective approaches
- Efficient benchmarking of algorithm configurators via model-based surrogates
- Scalable Gaussian process-based transfer surrogates for hyperparameter optimization
- Decision procedures. An algorithmic point of view
- MedleySolver: online SMT algorithm selection
- Complete Boolean satisfiability solving algorithms based on local search
- aspeed: solver scheduling via answer set programming
- Empirical software metrics for benchmarking of verification tools
- meSAT: multiple encodings of CSP to SAT
- SATenstein: automatically building local search SAT solvers from components
- Beaver
- Hyperheuristics
- ManySAT
- March_eq
- MiniSat
- Title not available (Why is that?)
- Paramils
- PYTHIA
- UnitWalk
- Zchaff2004
- PLATYPUS
- MyPYTHIA
- SatEx
- GridSAT
- SATLIB
- UBCSAT
- FRODO__2
- QingTing1
- Lparse
- SAT competition
- Choco
- MiniZinc
- CDAOstore
- SPOT
- NeVer
- WEKA
- BerkMin
- PaMiraXT
- Potassco
This page was built for software: SATzilla
