PySAT
From MaRDI portal
Cited in
(76)- RC2: an efficient MaxSAT solver
- Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
- Using merging variables-based local search to solve special variants of MaxSAT problem
- 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
- Cover combinatorial filters and their minimization problem
- Witnesses for Answer Sets of Logic Programs
- MiniCon
- SATLIB
- Glucose
- ASPARTIX
- cmMUS
- D-FLAT
- Ltur
- AMUSE
- MUP
- MUSer2
- PBLib
- BEACON
- PySMT
- MiFuMax
- lp2normal
- Jdrasil
- pylgl
- PyMiniSolvers
- SATisPy
- Democratix
- IDonSquareGridR2
- ORL
- PMLB
- QUICKXPLAIN
- AIGER
- MSOAR
- CaDiCaL
- mkplot
- openQASM
- RC2
- Pyverilog
- Golly
- HgMUS
- Maple_LCM_Dist_ChronoBT
- FourierSAT
- ITI
- MediBoost
- A SAT encoding to compute aperiodic tiling rhythmic canons
- Assessing progress in SAT solvers through the Lens of incremental SAT
- GOSDT
- Kissat
- Paracooba
- Arg2P
- OptiLog
- SAT-based rigorous explanations for decision lists
- Evaluating ESOP Optimization Methods in Quantum Compilation Flows
- Learning MAX-SAT from contextual examples for combinatorial optimisation
- PyDL8.5
- DeepSynth
- Open-WBO-Inc
- MergeSat
- lazybv2int
- metaSMT
- PyPBLib
- SBV
- MLIC
- SMT Kit
- QRATPre+
- scientific article; zbMATH DE number 7199588 (Why is no real title available?)
- \textsf{Open-WBO-Inc}: approximation strategies for incomplete weighted MaxSAT
- Finding the hardest formulas for resolution
- dCAQE
- Smt-Switch: a solver-agnostic C++ API for SMT solving
- HyperBench
- xclingo
This page was built for software: PySAT
