SAT Encodings for Flood-It Puzzle

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

Originele taal-2	Engels
Titel	Proceedings of SAT COMPETITION 2020
Subtitel	Solver and Benchmark Descriptions
Redacteuren	Tomás Balyo
Uitgeverij	Helsinki University of Technology
Pagina's	87-88
Aantal pagina's	2
Status	Gepubliceerd - 2020

Toegang tot document

@inproceedings{2556e16854ef4a01ad42d569d9c66159,

title = "SAT Encodings for Flood-It Puzzle",

author = "\{van Stiphout\}, Milan and Muhammad Osama and Wijs, \{Anton J.\}",

year = "2020",

language = "English",

pages = "87--88",

editor = "Tom{\'a}s Balyo",

booktitle = "Proceedings of SAT COMPETITION 2020",

publisher = "Helsinki University of Technology",

}