PySAT
From MaRDI portal
Software:37197
No author found.
Related Items (20)
Witnesses for Answer Sets of Logic Programs ⋮ On Tackling Explanation Redundancy in Decision Trees ⋮ A SAT encoding to compute aperiodic tiling rhythmic canons ⋮ Learning MAX-SAT from contextual examples for combinatorial optimisation ⋮ Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ Finding the Hardest Formulas for Resolution ⋮ \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT ⋮ Optimized SAT encoding of conformance checking artefacts ⋮ Unnamed Item ⋮ Using Merging Variables-Based Local Search to Solve Special Variants of MaxSAT Problem ⋮ Cover Combinatorial Filters and Their Minimization Problem ⋮ Evaluating ESOP Optimization Methods in Quantum Compilation Flows ⋮ RC2: an Efficient MaxSAT Solver ⋮ Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT ⋮ Learning Optimal Decision Sets and Lists with SAT ⋮ OptiLog: a framework for SAT-based systems ⋮ SAT-based rigorous explanations for decision lists ⋮ Assessing progress in SAT solvers through the Lens of incremental SAT ⋮ Smt-Switch: a solver-agnostic C++ API for SMT solving ⋮ Certified DQBF solving by definition extraction
This page was built for software: PySAT
