Parallel SAT Solving using Bit-level Operations

MJH Heule, H van Maaren

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	Undefined/Unknown
Pages (from-to)	99-116
Number of pages	18
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	4
Publication status	Published - 2008

Keywords

@article{c5b68309cacc4cf9ab2dd390ba5f346e,

title = "Parallel SAT Solving using Bit-level Operations",

keywords = "Peer-lijst tijdschrift",

author = "MJH Heule and {van Maaren}, H",

year = "2008",

language = "Undefined/Unknown",

volume = "4",

pages = "99--116",

journal = "Journal on Satisfiability, Boolean Modeling and Computation",

issn = "1574-0617",

}

TY - JOUR

T1 - Parallel SAT Solving using Bit-level Operations

AU - Heule, MJH

AU - van Maaren, H

PY - 2008

Y1 - 2008

KW - Peer-lijst tijdschrift

UR - http://jsat.ewi.tudelft.nl/content/volume4/JSAT4_6_Heule.pdf

M3 - Article

SN - 1574-0617

VL - 4

SP - 99

EP - 116

JO - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

ER -