On dedicated CDCL strategies for PB solvers
type: Item
instance of: scholarly article
title: On dedicated CDCL strategies for PB solvers
DOI: 10.1007/978-3-030-80223-3_22
author: Daniel Le Berre
author: Romain Wallon
publication date: 2022-03-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/2109.01013
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495582
zbMATH Keywords: pseudo-Boolean solving
zbMATH Keywords: pseudo-Boolean optimization
zbMATH Keywords: branching heuristics
zbMATH Keywords: learned constraint deletion strategies
zbMATH Keywords: restart policies
describes a project that uses: SATIRE
describes a project that uses: Sat4j
describes a project that uses: Chaff
describes a project that uses: PicoSAT
describes a project that uses: Pueblo
describes a project that uses: MiniSat
MaRDI profile type: Publication
OpenAlex ID: W3186193063
cites work: Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
cites work: Adaptive Restart Strategies for Conflict Driven SAT Solvers
cites work: Q3604000
cites work: Evaluating CDCL Variable Scoring Schemes
cites work: On the complexity of cutting-plane proofs
cites work: Theory and Applications of Satisfiability Testing
cites work: Using combinatorial benchmarks to probe the reasoning power of pseudo-Boolean solvers
cites work: Outline of an algorithm for integer solutions to linear programs
cites work: The intractability of resolution
cites work: On weakening strategies for PB solvers
cites work: Learning Rate Based Branching Heuristic for SAT Solvers
cites work: Optimal speedup of Las Vegas algorithms
cites work: Q3429158
cites work: GRASP: a search algorithm for propositional satisfiability
cites work: On the power of clause-learning SAT solvers as resolution engines
cites work: Q5503674
cites work: Q3429161
cites work: In between resolution and cutting planes: a study of proof systems for pseudo-Boolean SAT solving
description: scientific article; zbMATH DE number 7495582