Altan Haan and Doru Thom Popovici and Koushik Sen and Costin Iancu and Alvin Cheung

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2025-11

April 3, 2025

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2025/EECS-2025-11.pdf

Advisors: Max Willsey

---

BibTeX citation:

@mastersthesis{Haan:EECS-2025-11,
    Author= {Haan, Altan and Popovici, Doru Thom and Sen, Koushik and Iancu, Costin and Cheung, Alvin},
    Title= {To tile or not to tile, that is the question},
    School= {EECS Department, University of California, Berkeley},
    Year= {2025},
    Month= {Apr},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2025/EECS-2025-11.html},
    Number= {UCB/EECS-2025-11},
}

EndNote citation:

%0 Thesis
%A Haan, Altan 
%A Popovici, Doru Thom 
%A Sen, Koushik 
%A Iancu, Costin 
%A Cheung, Alvin 
%T To tile or not to tile, that is the question
%I EECS Department, University of California, Berkeley
%D 2025
%8 April 3
%@ UCB/EECS-2025-11
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2025/EECS-2025-11.html
%F Haan:EECS-2025-11