SATzilla

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