Leveraging GPUs for effective clause sharing in parallel SAT solving
type: Item
instance of: scholarly article
title: Leveraging GPUs for effective clause sharing in parallel SAT solving
DOI: 10.1007/978-3-030-80223-3_32
author: Nicolas Prevot
author: Mate Soos
author: Kuldeep S. Meel
publication date: 2022-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495592
describes a project that uses: ManySAT
describes a project that uses: Chaff
describes a project that uses: Plingeling
describes a project that uses: Lingeling
describes a project that uses: MiniSat
describes a project that uses: SATO
describes a project that uses: PSATO
describes a project that uses: CUD@SAT
describes a project that uses: Treengeling
MaRDI profile type: Publication
full work available at URL: 978-3-030-80223-3 32
OpenAlex ID: W3184444919
cites work: Lazy Clause Exchange Policy for Parallel SAT Solvers
cites work: Adaptive Restart Strategies for Conflict Driven SAT Solvers
cites work: Fast unfolding of communities in large networks
cites work: Survey propagation: An algorithm for satisfiability
cites work: Theory and Applications of Satisfiability Testing
cites work: Q3639756
cites work: Q3604001
cites work: Boosting complete techniques thanks to local search methods
cites work: Local Restarts
cites work: Community and LBD-based clause sharing policy for parallel SAT solving
cites work: PSATO: A distributed propositional prover and its application to quasigroup problems
description: scientific article; zbMATH DE number 7495592