Glucose

swMATH7833MaRDI QIDQ19849FDOQ19849

Author name not available (Why is that?)

Cited In (52)

• A SAT attack on the Erdős-Szekeres conjecture
• 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
• A novel SAT solver for the van der Waerden numbers
• Symmetric explanation learning: effective dynamic symmetry handling for SAT
• 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\)
• Managing caching strategies for stream reasoning with reinforcement learning
• Substitutive structure of Jeandel-Rao aperiodic tilings
• SAT solving for termination proofs with recursive path orders and dependency pairs
• Pakota: a system for enforcement in abstract argumentation
• Title not available (Why is that?)
• Partial backtracking in CDCL solvers
• Complete symmetry breaking constraints for the class of uniquely Hamiltonian graphs
• SAT race 2015
• Evaluating CDCL variable scoring schemes
• Learning a propagation complete formula
• Definability for model counting
• Assessing progress in SAT solvers through the Lens of incremental SAT
• Constructing 5-chromatic unit distance graphs embedded in the Euclidean plane and two-dimensional spheres
• New models for generating hard random Boolean formulas and disjunctive logic programs
• An empirical study of branching heuristics through the lens of global learning rate
• SAT-based rigorous explanations for decision lists
• Title not available (Why is that?)
• Ramsey numbers of ordered graphs
• Clause vivification by unit propagation in CDCL SAT solvers
• Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems
• The first international competition on computational models of argumentation: results and analysis
• Open-WBO: a modular MaxSAT solver
• SAT-Based Horn Least Upper Bounds
• Title not available (Why is that?)
• Multi-agent path finding with mutex propagation
• 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
• The \textsc{MergeSat} solver
• Incrementally Computing Minimal Unsatisfiable Cores of QBFs via a Clause Group Solver API

This page was built for software: Glucose