swMATH7833MaRDI QIDQ19849FDOQ19849
Author name not available (Why is that?)
Official website: http://www.labri.fr/perso/lsimon/glucose/
Cited In (only showing first 100 items - show all)
- A SAT attack on the Erdős-Szekeres conjecture
- Conformant planning as a case study of incremental QBF solving
- Multi-agent pathfinding with continuous time
- Kissat
- Paracooba
- Symmetric explanation learning: effective dynamic symmetry handling for SAT
- Acceptance in incomplete argumentation frameworks
- Substitutive structure of Jeandel-Rao aperiodic tilings
- HaifaSat
- ManySAT
- 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
- SAT race 2015
- 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
- Evaluating CDCL variable scoring schemes
- CCEHC
- SATLike
- RC2
- Golly
- cnf2aig
- Maple_LCM_Dist_ChronoBT
- EPFL
- Sparrow2Riss
- Ramsey numbers of ordered graphs
- WPM3
- The first international competition on computational models of argumentation: results and analysis
- Open-WBO: a modular MaxSAT solver
- Title not available (Why is that?)
- Automatic construction of parallel portfolios via algorithm configuration
- Computer-aided proof of Erdős discrepancy properties
- Improving Glucose for incremental SAT solving with assumptions: application to MUS extraction
- PySAT: a Python toolkit for prototyping with SAT oracles
- Between SAT and UNSAT: the fundamental difference in CDCL SAT
- Learning rate based branching heuristic for SAT solvers
- SAT-Based Formula Simplification
- Arg2P
This page was built for software: Glucose