Chaff
From MaRDI portal
swMATH6916MaRDI QIDQ18982FDOQ18982
Author name not available (Why is that?)
Official website: http://www.princeton.edu/~chaff/software.html
Cited In (only showing first 100 items - show all)
- Title not available (Why is that?)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Wombit: a portfolio bit-vector solver using word-level propagation
- Negative effects of modeling techniques on search performance
- ICS
- Mosel
- FeatureIDE
- SAPA
- DAOOPT
- cc(FD)
- ABsolver
- nsoks
- ILOG SCHEDULE
- MaxHS
- E-KRHyper
- Geo 2007F
- Harvey
- ModGen
- nomore++
- Shatter
- OSMOSE
- Denali
- LRAT
- CNFgen
- Argtools
- iZplus
- Carneades
- CEGARTIX
- GRATchk
- Dungine
- Picat-SAT
- PaInleSS
- LamatzSolver
- TSAT++
- Murphi
- prefMaxSAT
- ProGraph
- TCAS
- GidL
- CBack
- HASP
- BIGNUM
- CHUFFED
- abcdSAT
- Jalangi
- Jdrasil
- PySAT
- PyMiniSolvers
- SATisPy
- MapleSAT
- Zapato
- Splatz
- Syrup
- BINSEC/SE
- Lingeling
- DPT
- semprop
- SAT Solver Verification
- APT
- BooleForce
- ZRes
- lbtt
- SMTS
- LiSA
- Mistral
- CaDiCaL
- MapleCOMSPS
- MapleCOMSPS_LRB
- sunny-cp
- YalSAT
- maxino
- OMiGA
- CRN++
- xorro
- STP
- tiny_sha3
- SMTS: Distributed, Visualized Constraint Solving
- RC2
- Cassowary
- Antenna Toolbox
- ATPDraw
- LEKIN
- SeisLab
- SeismicLab
- TEXTNN
- GNU parallel
- Mjollnir
- DynAlloy
- CCAnr
- cnf2aig
- countAntom
- Maple_LCM_Dist_ChronoBT
- probSAT
- FourierSAT
- Wombit
- VIS
- Sparrow2Riss
- Specification and Verification of Multi-Agent Systems
- Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
- Using SAT in QBF
This page was built for software: Chaff
