SATzilla
From MaRDI portal
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)
- Pitfalls and best practices in algorithm configuration
- meSAT: multiple encodings of CSP to SAT
- SATenstein: automatically building local search SAT solvers from components
- Hyperheuristics
- ManySAT
- March_eq
- Title not available (Why is that?)
- PYTHIA
- SatEx
- SATLIB
- QingTing1
- Lparse
- SAT competition
- Choco
- MiniZinc
- CDAOstore
- SPOT
- NeVer
- WEKA
- BerkMin
- PaMiraXT
- Potassco
- clasp
- gcl
- NumberJack
- Glucose
- irace
- Runsolver
- Cunf
- Jerusat
- QBFLIB
- MiniMaxSat
- BitBlaze
- Azucar
- URBiVA
- CSP2SAT4J
- CryptoMiniSat
- GlueMiniSat
- Proteus
- SOCRATES
- Sugar
- ppfolio
- claspfolio 2
- SIMPLY
- pfolioUZK
- QMDD
- RSat
- Sparrow2011
- fzn2smt
- ODEXPERT
- SATenstein
- ASlib
- E-MaLeS
- Geometrix
- URSA
- Spybug
- SpySMAC
- GAUSS
- Alors
- SMAC
- DAOOPT
- htd
- flacco
- mplp2
- OpenGM
- Auto-WEKA
- Lpopt
- CoQuiAAS
- llama
- AClib
- GraPHedron
- FrankenBit
- abcdSAT
- C32SAT
- GTSP-LIB
- Jdrasil
- QAGen
- Z34Bio
- Theoryguru
- aspeed
- DOC-BRelax
- Essence
- Lingeling
- meSAT
- Nginx
- Holophrasm
- sunny-cp
- CHYPRE
- SUNNY
- CylindricalAlgebraicDecompose
- OMiGA
- Local search for Boolean satisfiability with configuration checking and subscore
- MATILDA
- PortLib
- AutoFolio
- GenericWrapper4AC
- HPOlib
- AIspace
- SUNNY: a lazy portfolio approach for constraint solving
- aspeed: solver scheduling via answer set programming
This page was built for software: SATzilla
