| Original language | English |
|---|---|
| Publisher | Helsinki University of Technology |
| Publication status | Published - 2020 |
SAT Encodings for Flood-It Puzzle
- Milan van Stiphout
- , Muhammad Osama
- , Anton J. Wijs
Research output: Book/Report › Report › Academic
Research output: Book/Report › Report › Academic
| Original language | English |
|---|---|
| Publisher | Helsinki University of Technology |
| Publication status | Published - 2020 |