PySAT: a Python toolkit for prototyping with SAT oracles
From MaRDI portal
Recommendations
Cited in
(35)- Efficiently explaining CSPs with unsatisfiable subset optimization
- Computing optimal hypertree decompositions with SAT
- Learning Optimal Decision Sets and Lists with SAT
- Using a SAT Solver to Find Interesting Sets of Nonstandard Dice
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Certified DQBF solving by definition extraction
- OptiLog: a framework for SAT-based systems
- SAT-based rigorous explanations for decision lists
- Computing MUS-based inconsistency measures
- Joint learning of reward machines and policies in environments with partially known semantics
- Search of fractal space-filling curves with minimal dilation
- Explaining Hyperproperty Violations
- Optimized SAT encoding of conformance checking artefacts
- Automatic search of linear structure: applications to \textsc{Keccak} and \textsc{Ascon}
- RC2: an efficient MaxSAT solver
- PySAT
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- State identification and verification with satisfaction
- On Tackling Explanation Redundancy in Decision Trees
- Assessing progress in SAT solvers through the Lens of incremental SAT
- Witnesses for Answer Sets of Logic Programs
- Using merging variables-based local search to solve special variants of MaxSAT problem
- Finding the hardest formulas for resolution
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- Hashing-based approximate counting of minimal unsatisfiable subsets
- CNF encodings of symmetric functions
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- Zero-sum squares in \(\{-1, 1\}\)-matrices with low discrepancy
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- SAT-based automated completion for reachability analysis
- Smt-Switch: a solver-agnostic C++ API for SMT solving
- Cover combinatorial filters and their minimization problem
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Coupling different integer encodings for SAT
Describes a project that uses
Uses Software
This page was built for publication: PySAT: a Python toolkit for prototyping with SAT oracles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1656601)
