Cited in
(only showing first 100 items - show all)- SAT-Based Formula Simplification
- A SAT attack on the Erdős-Szekeres conjecture
- Model enumeration in propositional circumscription via unsatisfiable core analysis
- Conformant planning as a case study of incremental QBF solving
- Multi-agent pathfinding with continuous time
- Polarity and variable selection heuristics for SAT-based anytime MaxSAT
- Deep cooperation of CDCL and local search for SAT
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- A novel SAT solver for the van der Waerden numbers
- Improved Computational Approaches and Heuristics for Zero Forcing
- \(N\)-level modulo-based CNF encodings of pseudo-Boolean constraints for MaxSAT
- Extreme cases in SAT problems
- Learning Optimal Decision Sets and Lists with SAT
- Propositional proof systems based on maximum satisfiability
- On conversions from CNF to ANF
- Acceptance in incomplete argumentation frameworks
- Breaking symmetries in graph search with canonizing sets
- Minimal self-similar Peano curve of genus \(5 \times 5\)
- Substitutive structure of Jeandel-Rao aperiodic tilings
- Managing caching strategies for stream reasoning with reinforcement learning
- A SAT attack on the Erdős-Szekeres conjecture
- SAT solving for termination proofs with recursive path orders and dependency pairs
- Pakota: a system for enforcement in abstract argumentation
- scientific article; zbMATH DE number 7306863 (Why is no real title available?)
- HaifaSat
- ManySAT
- MiniSat
- Siege
- SATIRE
- Chaff
- clasp
- Plingeling
- PrecoSAT
- ASPARTIX
- QMaxSAT
- D-FLAT
- Azucar
- CryptoMiniSat
- GlueMiniSat
- Open-WBO
- PackUp
- antom
- ppfolio
- Ltur
- ABC
- MTBDD
- pfolioUZK
- PBLib
- Treengeling
- SATenstein
- IGraph/M
- HordeSat
- LMHS
- SpySMAC
- COMiniSatPS
- satUZK
- Mosel
- VOLT
- MaxHS
- Argtools
- Carneades
- CEGARTIX
- CoQuiAAS
- Dungine
- LamatzSolver
- prefMaxSAT
- ProGraph
- TCAS
- abcdSAT
- MiFuMax
- pylgl
- PySAT
- PyMiniSolvers
- SATisPy
- MapleSAT
- MapleAmpharos
- Splatz
- Syrup
- GenerateUHG
- Lingeling
- ORL
- QUICKXPLAIN
- MSOAR
- CaDiCaL
- MapleCOMSPS
- MapleCOMSPS_LRB
- YalSAT
- circumscriptino
- mkplot
- hclasp
- LP2SAT
- LP2ACYC
- LP2NORMAL2
- maxino
- CCEHC
- SATLike
- RC2
- Golly
- cnf2aig
- Maple_LCM_Dist_ChronoBT
This page was built for software: Glucose
