PySAT
From MaRDI portal
Software:37197
swMATH25459MaRDI QIDQ37197FDOQ37197
Author name not available (Why is that?)
Cited In (20)
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Certified DQBF solving by definition extraction
- OptiLog: a framework for SAT-based systems
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- Learning Optimal Decision Sets and Lists with SAT
- Optimized SAT encoding of conformance checking artefacts
- On Tackling Explanation Redundancy in Decision Trees
- Witnesses for Answer Sets of Logic Programs
- Open-WBO-Inc: Approximation Strategies for Incomplete Weighted MaxSAT
- Finding the Hardest Formulas for Resolution
- RC2: an Efficient MaxSAT Solver
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Assessing progress in SAT solvers through the Lens of incremental SAT
- 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
- SAT-based rigorous explanations for decision lists
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- Title not available (Why is that?)
- Smt-Switch: a solver-agnostic C++ API for SMT solving
This page was built for software: PySAT
