Glucose
From MaRDI portal
Cited in
(only showing first 100 items - show all)- HaifaSat
- ManySAT
- MiniSat
- FRAT
- Open-WBO-Inc
- MergeSat
- MedleySolver
- Paracooba
- Kissat
- PySAT: a Python toolkit for prototyping with SAT oracles
- Siege
- The first international competition on computational models of argumentation: results and analysis
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- An empirical study of branching heuristics through the lens of global learning rate
- SATIRE
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
- Chaff
- Plingeling
- clasp
- PrecoSAT
- N-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- ASPARTIX
- Multi-agent path finding with mutex propagation
- Deep cooperation of CDCL and local search for SAT
- SAT-based rigorous explanations for decision lists
- Assessing progress in SAT solvers through the Lens of incremental SAT
- The \textsc{MergeSat} solver
- Multi-agent pathfinding with continuous time
- Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
- QMaxSAT
- Learning a propagation complete formula
- D-FLAT
- Open-WBO
- PackUp
- GlueMiniSat
- CryptoMiniSat
- Azucar
- Acceptance in incomplete argumentation frameworks
- Propositional proof systems based on maximum satisfiability
- Minimal self-similar Peano curve of genus \(5 \times 5\)
- New models for generating hard random Boolean formulas and disjunctive logic programs
- Clause vivification by unit propagation in CDCL SAT solvers
- Definability for model counting
- On conversions from CNF to ANF
- A novel SAT solver for the van der Waerden numbers
- antom
- ppfolio
- Ltur
- SAT solving for termination proofs with recursive path orders and dependency pairs
- Conformant planning as a case study of incremental QBF solving
- Breaking symmetries in graph search with canonizing sets
- MTBDD
- ABC
- pfolioUZK
- Treengeling
- PBLib
- SATenstein
- Substitutive structure of Jeandel-Rao aperiodic tilings
- Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
- IGraph/M
- Extreme cases in SAT problems
- Learning rate based branching heuristic for SAT solvers
- Pakota: a system for enforcement in abstract argumentation
- HordeSat
- LMHS
- SpySMAC
- Partial backtracking in CDCL solvers
- COMiniSatPS
- satUZK
- VOLT
- Open-WBO: a modular MaxSAT solver
- MaxHS
- TCAS
- SAT race 2015
- CEGARTIX
- Carneades
- prefMaxSAT
- Dungine
- Argtools
- LamatzSolver
- CoQuiAAS
- ProGraph
- Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API
- SAT-Based Formula Simplification
- Between SAT and UNSAT: the fundamental difference in CDCL SAT
- Evaluating CDCL variable scoring schemes
- SAT-Based Horn Least Upper Bounds
- PySAT
- MiFuMax
- pylgl
- PyMiniSolvers
- SATisPy
- abcdSAT
- MapleSAT
- Syrup
- MapleAmpharos
- Splatz
- GenerateUHG
- Lingeling
- ORL
This page was built for software: Glucose
