PySAT: a Python toolkit for prototyping with SAT oracles
From MaRDI portal
Publication:1656601
DOI10.1007/978-3-319-94144-8_26zbMath1484.68215OpenAlexW2809729522MaRDI QIDQ1656601
Alexey Ignatiev, Antonio Morgado, João P. Marques-Silva
Publication date: 10 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-94144-8_26
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Related Items (27)
Witnesses for Answer Sets of Logic Programs ⋮ On Tackling Explanation Redundancy in Decision Trees ⋮ A SAT encoding to compute aperiodic tiling rhythmic canons ⋮ Coupling different integer encodings for SAT ⋮ Using a SAT Solver to Find Interesting Sets of Nonstandard Dice ⋮ Zero-sum squares in \(\{-1, 1\}\)-matrices with low discrepancy ⋮ Computing optimal hypertree decompositions with SAT ⋮ Learning MAX-SAT from contextual examples for combinatorial optimisation ⋮ State identification and verification with satisfaction ⋮ Search of fractal space-filling curves with minimal dilation ⋮ 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 ⋮ PySAT ⋮ 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
Uses Software
This page was built for publication: PySAT: a Python toolkit for prototyping with SAT oracles
