PBLib

swMATH13578MaRDI QIDQ25492FDOQ25492

Author name not available (Why is that?)

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)

• QMaxSATpb
• OptiLog
• 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
• QingTing1
• Genet
• Petrify
• Open-WBO
• BoolVar/PB
• npSolver
• Velev SAT Benchmarks
• SAT race 2015
• Picat-SAT
• abcdSAT
• MiFuMax
• pylgl
• PySAT
• PyMiniSolvers
• SATisPy
• qpboMex
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Coupling different integer encodings for SAT
• cnf2aig
• FourierSAT
• 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