Cited in
(35)- Quadratic reformulation of nonlinear pseudo-Boolean functions via the constraint composite graph
- The state of SAT
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Efficient Learning of Interpretable Classification Rules
- OptiLog: a framework for SAT-based systems
- Efficient local search for pseudo Boolean optimization
- QingTing1
- Genet
- Petrify
- Open-WBO
- BoolVar/PB
- npSolver
- Velev SAT Benchmarks
- Picat-SAT
- abcdSAT
- MiFuMax
- pylgl
- PySAT
- PyMiniSolvers
- SATisPy
- qpboMex
- cnf2aig
- FourierSAT
- SAT race 2015
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Coupling different integer encodings for SAT
- QMaxSATpb
- OptiLog
- LoRMIkA
- MergeSat
- PyPBLib
- SLIME
- Encoding cardinality constraints using multiway merge selection networks
- PySAT: a Python toolkit for prototyping with SAT oracles
- SAT competition 2020
This page was built for software: PBLib
