PBLib

swMATH13578MaRDI QIDQ25492

No author found.

Described by source

• PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF

Related Items (12)

Efficient Learning of Interpretable Classification Rules ⋮ SAT race 2015 ⋮ The state of SAT ⋮ PySAT: a Python toolkit for prototyping with SAT oracles ⋮ A SAT encoding to compute aperiodic tiling rhythmic canons ⋮ Coupling different integer encodings for SAT ⋮ Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ Encoding cardinality constraints using multiway merge selection networks ⋮ SAT competition 2020 ⋮ Quadratic reformulation of nonlinear pseudo-Boolean functions via the constraint composite graph ⋮ OptiLog: a framework for SAT-based systems ⋮ Efficient local search for pseudo Boolean optimization

This page was built for software: PBLib