The following pages link to PBLib (Q25492):
Displayed 12 items.
- SAT race 2015 (Q334795) (← links)
- PySAT: a Python toolkit for prototyping with SAT oracles (Q1656601) (← links)
- Encoding cardinality constraints using multiway merge selection networks (Q2009191) (← links)
- SAT competition 2020 (Q2060693) (← links)
- OptiLog: a framework for SAT-based systems (Q2118280) (← links)
- Efficient local search for pseudo Boolean optimization (Q2118314) (← links)
- A SAT encoding to compute aperiodic tiling rhythmic canons (Q2170172) (← links)
- Coupling different integer encodings for SAT (Q2170178) (← links)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions (Q2238714) (← links)
- Quadratic reformulation of nonlinear pseudo-Boolean functions via the constraint composite graph (Q2327292) (← links)
- The state of SAT (Q2643296) (← links)
- Efficient Learning of Interpretable Classification Rules (Q5043563) (← links)