| Title | Author | Supervisor(s) | Date of submission |
|---|---|---|---|
|
Creusat. Using Rust and Creusot to create the world's fastest deductively verified SAT solver
|
Sarek Skotåm | Martin Steffen | June 2022 |
Completed master's theses (2021)
Published Oct. 7, 2022 11:24 AM
- Last modified Oct. 7, 2022 11:25 AM