Concurrent Cube-and-Conquer

P van der Tak; MJH Heule; A Biere

Concurrent Cube-and-Conquer

P van der Tak, MJH Heule, A Biere

Algorithmics

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

13 Citations (Scopus)

Original language	English
Title of host publication	Theory and Applications of Satisfiability Testing ¿ SAT 2012
Editors	A Cimatti, R Sebastiani
Place of Publication	Berlin
Publisher	Springer
Pages	475-476
Number of pages	2
ISBN (Print)	978-3-642-31611-1
Publication status	Published - 2012
Event	15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012 - Berlin Duration: 17 Jun 2012 → 20 Jun 2012

Publication series

Name
Publisher	Springer

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

Conference

Conference	15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012
Period	17/06/12 → 20/06/12

Keywords

Geen BTA classificatie

Cite this

@inproceedings{fc4e274ceba7441d9cbec4a0212d248b,

title = "Concurrent Cube-and-Conquer",

keywords = "Geen BTA classificatie",

author = "{van der Tak}, P and MJH Heule and A Biere",

year = "2012",

language = "English",

isbn = "978-3-642-31611-1",

publisher = "Springer",

pages = "475--476",

editor = "A Cimatti and R Sebastiani",

booktitle = "Theory and Applications of Satisfiability Testing ¿ SAT 2012",

note = "15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012 ; Conference date: 17-06-2012 Through 20-06-2012",

}

Concurrent Cube-and-Conquer. / van der Tak, P; Heule, MJH; Biere, A.
Theory and Applications of Satisfiability Testing ¿ SAT 2012. ed. / A Cimatti; R Sebastiani. Berlin: Springer, 2012. p. 475-476 (Lecture Notes in Computer Science; Vol. 7317).

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

TY - GEN

T1 - Concurrent Cube-and-Conquer

AU - van der Tak, P

AU - Heule, MJH

AU - Biere, A

PY - 2012

Y1 - 2012

KW - Geen BTA classificatie

UR - http://link.springer.com/chapter/10.1007%2F978-3-642-31612-8_42

M3 - Conference contribution

SN - 978-3-642-31611-1

SP - 475

EP - 476

BT - Theory and Applications of Satisfiability Testing ¿ SAT 2012

A2 - Cimatti, A

A2 - Sebastiani, R

PB - Springer

CY - Berlin

T2 - 15th International Conference Theory and Applications of Satisfiability Testing ¿ SAT 2012

Y2 - 17 June 2012 through 20 June 2012

ER -

Concurrent Cube-and-Conquer

Publication series

Conference

Keywords

Other files and links

Cite this