swMATH41082MaRDI QIDQ1354213FDOQ1354213
Author name not available (Why is that?)
Official website: http://fmv.jku.at/kissat/
Source code repository: https://github.com/arminbiere/kissat
Cited In (only showing first 100 items - show all)
- Arg2P
- QMaxSATpb
- TBUDDY
- OptiLog
- dCAQE
- Supercharging plant configurations using Z3
- Deep cooperation of CDCL and local search for SAT
- Efficient all-UIP learned clause minimization
- Certified DQBF solving by definition extraction
- OptiLog: a framework for SAT-based systems
- Logical cryptanalysis with WDSat
- pystablemotifs
- CVC4SY
- HyperBench
- SaDiCaL
- Scalable SAT solving in the cloud
- CrystalBall
- Pacheck
- CoqQFBV: a scalable certified SMT quantifier-free bit-vector solver
- Progress in certifying hardware model checking results
- Paracooba
- RAReQS
- ManySAT
- MiniSat
- Reveal
- SBSAT
- SymChaff
- Zchaff2004
- Saturn
- MiniCon
- POMDP
- SATIRE
- CPlan
- PaMiraXT
- Plingeling
- Sat4j
- Glucose
- PrecoSAT
- Runsolver
- cmMUS
- QMaxSAT
- D-FLAT
- PackUp
- VATA
- AsmL
- Skeptik
- ABC
- MTBDD
- CryptLogVer
- DRAT-trim
- JViews
- PBLib
- Treengeling
- OR-tools
- IGraph/M
- HordeSat
- Spybug
- Transalg
- ALIAS
- COMiniSatPS
- GPU-PRISM
- GPUexplore
- Mosel
- VOLT
- WPM2
- JKind
- Kind 2
- Shatter
- CNFgen
- Picat-SAT
- PaInleSS
- CHUFFED
- NetDiversity
- Jdrasil
- PySAT
- PyMiniSolvers
- SATisPy
- CAQE
- Splatz
- Syrup
- Rosette
- Lingeling
- HQSpre
- AIGER
- ZRes
- CaDiCaL
- CryptoSAT
- MapleCOMSPS
- MapleCOMSPS_LRB
- reduce
- YalSAT
- CnC
- openQASM
- Pint
- CCEHC
- RC2
- CCAnr
- Maple_LCM_Dist_ChronoBT
- EPFL
- probSAT
This page was built for software: Kissat
