PicoSAT
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Formalization and implementation of modern SAT solvers
- Faster, higher, stronger: E 2.3
- Automated testing and debugging of SAT and QBF solvers
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Labelled interpolation systems for hyper-resolution, clausal, and local proofs
- RAReQS
- Solving and Verifying the Boolean Pythagorean Triples Problem via Cube-and-Conquer
- MUSer2: an efficient MUS extractor
- Cobra: a tool for solving general deductive games
- SAT-based preprocessing for MaxSAT
- On the van der Waerden numbers \(\mathrm{w}(2; 3, t)\)
- Exact DFA Identification Using SAT Solvers
- Algorithms for Weighted Boolean Optimization
- Solving (Weighted) Partial MaxSAT through Satisfiability Testing
- Two techniques for minimizing resolution proofs
- 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
- Algorithms for computing minimal equivalent subformulas
- SATenstein: automatically building local search SAT solvers from components
- 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
- ICS
- JavaSMT
- MPIDepQBF
- PySMT
- htd
- nomore++
- C32SAT
- QAGen
- CAQE
- Z34Bio
- Quantor
- OKlibrary
- QUICKXPLAIN
- SAT Solver Verification
- BooleForce
- Hailfinder
- countAntom
- FourierSAT
- Checking EMTLK properties of timed interpreted systems via bounded model checking
- Iterative and core-guided maxsat solving: a survey and assessment
- Failed literal detection for QBF
- Curriculum-based course timetabling with SAT and MaxSAT
- Minimal sets on propositional formulae. Problems and reductions
- Computing small unsatisfiable cores in satisfiability modulo theories
- Minimally unsatisfiable Boolean circuits
- Conflict-driven answer set solving: from theory to practice
- ConwayLife
- Parallel MUS extraction
- Assignment stack shrinking
This page was built for software: PicoSAT
