Hash-based preprocessing and inprocessing techniques in SAT solvers
type: Item
instance of: scholarly article
title: Hash-based preprocessing and inprocessing techniques in SAT solvers
DOI: 10.1007/978-3-030-80223-3_7
author: Henrik Cao
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: 7495567
zbMATH Keywords: SAT
zbMATH Keywords: CDCL
zbMATH Keywords: preprocessing
zbMATH Keywords: inprocessing
zbMATH Keywords: hash
describes a project that uses: MaxPre
describes a project that uses: MiniSat
MaRDI profile type: Publication
full work available at URL: 978-3-030-80223-3 7
OpenAlex ID: W3173795160
cites work: Keyed hash functions
cites work: Theory and Applications of Satisfiability Testing
cites work: Clause Elimination Procedures for CNF Formulas
cites work: Inprocessing Rules
cites work: Frontiers of Combining Systems
cites work: Applications of SAT Solvers to Cryptanalysis of Hash Functions
cites work: Q3194805
description: scientific article; zbMATH DE number 7495567