Pages that link to "Item:Q3453205"
From MaRDI portal
The following pages link to PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF (Q3453205):
Displaying 13 items.
- PBLib (Q25492) (← links)
- SAT race 2015 (Q334795) (← links)
- Encoding cardinality constraints using multiway merge selection networks (Q2009191) (← links)
- SAT competition 2020 (Q2060693) (← links)
- SAT encodings for pseudo-Boolean constraints together with at-most-one constraints (Q2060735) (← 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)
- Efficient Learning of Interpretable Classification Rules (Q5043563) (← links)
- Generation of synchronizing state machines from a transition system: a region-based approach (Q6100077) (← links)
- Computing generating sets of minimal size in finite algebras (Q6108373) (← links)
