Decomposing SAT Problems into Connected Components

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

Original language	English
Pages (from-to)	201-208
Number of pages	8
Journal	Journal on Satisfiability, Boolean Modeling and Computation (JSAT)
Volume	2
DOIs	https://doi.org/10.3233/sat190022
Publication status	Published - Mar 2006

Fields of science

@article{82e211806d7545d099fce18dcb4f9692,

title = "Decomposing SAT Problems into Connected Components",

author = "Armin Biere and Carsten Sinz",

year = "2006",

month = mar,

doi = "10.3233/sat190022",

language = "English",

volume = "2",

pages = "201--208",

journal = "Journal on Satisfiability, Boolean Modeling and Computation (JSAT)",

issn = "1574-0617",

publisher = "IOS Press",

}

TY - JOUR

T1 - Decomposing SAT Problems into Connected Components

AU - Biere, Armin

AU - Sinz, Carsten

PY - 2006/3

Y1 - 2006/3

U2 - 10.3233/sat190022

DO - 10.3233/sat190022

M3 - Article

SN - 1574-0617

VL - 2

SP - 201

EP - 208

JO - Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

JF - Journal on Satisfiability, Boolean Modeling and Computation (JSAT)

ER -