Binary puzzle as a SAT problem

P.H. Utomo; G.R. Pellikaan

Binary puzzle as a SAT problem

P.H. Utomo
, G.R. Pellikaan

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Original language	English
Title of host publication	Proceedings of the 2017 Symposium on Information Theory and Signal Processing in the Benelux
Publication status	Published - 11 May 2017
Event	2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017) - Delft University of Technology, Delft, Netherlands Duration: 11 May 2017 → 12 May 2017 http://cas.tudelft.nl/sitb2017/

Conference

Conference	2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017)
Abbreviated title	SITB 2017
Country/Territory	Netherlands
City	Delft
Period	11/05/17 → 12/05/17
Internet address	http://cas.tudelft.nl/sitb2017/

Cite this

@inproceedings{78d0b6283eb340e981cd53eb38637064,

title = "Binary puzzle as a SAT problem",

author = "P.H. Utomo and G.R. Pellikaan",

year = "2017",

month = may,

day = "11",

language = "English",

booktitle = "Proceedings of the 2017 Symposium on Information Theory and Signal Processing in the Benelux",

note = "2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017), SITB 2017 ; Conference date: 11-05-2017 Through 12-05-2017",

url = "http://cas.tudelft.nl/sitb2017/",

}

TY - GEN

T1 - Binary puzzle as a SAT problem

AU - Utomo, P.H.

AU - Pellikaan, G.R.

PY - 2017/5/11

Y1 - 2017/5/11

M3 - Conference contribution

BT - Proceedings of the 2017 Symposium on Information Theory and Signal Processing in the Benelux

T2 - 2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017)

Y2 - 11 May 2017 through 12 May 2017

ER -