swMATH7092MaRDI QIDQ19150FDOQ19150
Author name not available (Why is that?)
Official website: http://fmv.jku.at/picosat/
Cited In (only showing first 100 items - show all)
- Faster, higher, stronger: E 2.3
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- SATenstein: automatically building local search SAT solvers from components
- Algorithms for computing minimal equivalent subformulas
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- Curriculum-based course timetabling with SAT and MaxSAT
- RAReQS
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs
- Exact DFA Identification Using SAT Solvers
- Minimal sets on propositional formulae. Problems and reductions
- Two techniques for minimizing resolution proofs
- Failed literal detection for QBF
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- Computing small unsatisfiable cores in satisfiability modulo theories
- Minimally unsatisfiable Boolean circuits
- Formalization and implementation of modern SAT solvers
- SAT-based preprocessing for MaxSAT
- Conflict-driven answer set solving: from theory to practice
- GNT
- HaifaSat
- kcnfs
- MiniSat
- OptSAT
- Pueblo
- tts
- Zchaff2004
- Saturn
- BarcelogicTools
- PSATO
- UBCSAT
- POEM
- Siege
- SATO
- PBS
- SATIRE
- JBool
- BerkMin
- Chaff
- NiVER
- PaMiraXT
- Plingeling
- Quaffle
- Sat4j
- PrecoSAT
- OPIUM
- Eureka
- Bloqqer
- Jerusat
- Nenofex
- HeerHugo
- QBFLIB
- QUBOS
- Equinox
- dynASP
- MiniMaxSat
- MSUnCore
- Open-WBO
- SOCRATES
- CirQit2
- antom
- tawSolver
- iClingo
- PMSat
- QMiraXT
- AMUSE
- MUP
- NSPLib
- RSat
- EVC
- MUSer2
- Cobra
- SATenstein
- Automated testing and debugging of SAT and QBF solvers
- ICS
- JavaSMT
- MPIDepQBF
- PySMT
- htd
- nomore++
- C32SAT
- QAGen
- CAQE
- Z34Bio
- Quantor
- OKlibrary
- QUICKXPLAIN
- SAT Solver Verification
- BooleForce
- Iterative and core-guided maxsat solving: a survey and assessment
- Hailfinder
- countAntom
- FourierSAT
- Algorithms for Weighted Boolean Optimization
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- MUSer2: an efficient MUS extractor
- Cobra: a tool for solving general deductive games
- Parallel MUS extraction
- Automatically comparing memory consistency models
- Automatic evaluation of context-free grammars (system description)
This page was built for software: PicoSAT
