From Idempotent Generalized Boolean Assignments to Multi-bit Search

MJH Heule; H van Maaren

From Idempotent Generalized Boolean Assignments to Multi-bit Search

MJH Heule, H van Maaren

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

Original language	Undefined/Unknown
Title of host publication	Theory and Applications of Satisfiability Testing - SAT 2007
Editors	Joao Marques-Silva, Karem A. Sakallah
Publisher	Springer
Pages	134-147
Number of pages	14
ISBN (Print)	978-3-540-72787-3
Publication status	Published - 2007

Publication series

Name
Publisher	Springer

Name	Lecture Notes in Computer Science
Volume	4501
ISSN (Print)	0302-9743

Keywords

CWTS 0.75 <= JFIS < 2.00

Cite this

@inproceedings{77e07dd8b93942ac906224609242cdc5,

title = "From Idempotent Generalized Boolean Assignments to Multi-bit Search",

keywords = "CWTS 0.75 <= JFIS < 2.00",

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

year = "2007",

language = "Undefined/Unknown",

isbn = "978-3-540-72787-3",

publisher = "Springer",

pages = "134--147",

editor = "Joao Marques-Silva and Sakallah, {Karem A.}",

booktitle = "Theory and Applications of Satisfiability Testing - SAT 2007",

}

From Idempotent Generalized Boolean Assignments to Multi-bit Search. / Heule, MJH; van Maaren, H.
Theory and Applications of Satisfiability Testing - SAT 2007. ed. / Joao Marques-Silva; Karem A. Sakallah. Springer, 2007. p. 134-147 (Lecture Notes in Computer Science; Vol. 4501).

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - From Idempotent Generalized Boolean Assignments to Multi-bit Search

AU - Heule, MJH

AU - van Maaren, H

PY - 2007

Y1 - 2007

KW - CWTS 0.75 <= JFIS < 2.00

UR - http://www.st.ewi.tudelft.nl/%7Emarijn/publications/idempotent.pdf

M3 - Conference contribution

SN - 978-3-540-72787-3

SP - 134

EP - 147

BT - Theory and Applications of Satisfiability Testing - SAT 2007

A2 - Marques-Silva, Joao

A2 - Sakallah, Karem A.

PB - Springer

ER -

From Idempotent Generalized Boolean Assignments to Multi-bit Search

Publication series

Keywords

Other files and links

Cite this