SAT Encodings for Flood-It Puzzle

Milan van Stiphout, Muhammad Osama, Anton J. Wijs

Research output: Book/Report › Report › Academic

Original language	English
Publisher	Helsinki University of Technology
Publication status	Published - 2020

Access to Document