PBLib

MaRDI QIDQ25492swMATHFDO

Official website http://tools.computational-logic.org/content/pblib.php

Described by source

• PBLib -- a library for encoding pseudo-Boolean constraints into CNF

Cited in

(35)

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

This page was built for software: PBLib