PBLib

swMATH13578MaRDI QIDQ25492FDOQ25492

Author name not available (Why is that?)

Described by source

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

Cited In (12)

• Quadratic reformulation of nonlinear pseudo-Boolean functions via the constraint composite graph
• Efficient Learning of Interpretable Classification Rules
• The state of SAT
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
• OptiLog: a framework for SAT-based systems
• Efficient local search for pseudo Boolean optimization
• SAT race 2015
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Coupling different integer encodings for SAT
• 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