Binary puzzle as a SAT problem

P.H. Utomo; G.R. Pellikaan

Binary puzzle as a SAT problem

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic

Originele taal-2	Engels
Titel	Proceedings of the 2017 Symposium on Information Theory and Signal Processing in the Benelux
Status	Gepubliceerd - 11 mei 2017
Evenement	2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017) - Delft University of Technology, Delft, Nederland Duur: 11 mei 2017 → 12 mei 2017 http://cas.tudelft.nl/sitb2017/

Congres

Congres	2017 Symposium on Information Theory and Signal Processing in the Benelux (SITB 2017)
Verkorte titel	SITB 2017
Land/Regio	Nederland
Stad	Delft
Periode	11/05/17 → 12/05/17
Internet adres	http://cas.tudelft.nl/sitb2017/

Citeer dit

@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 -