Nina Brandl

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Boolean Satisfiability

Clause Learning

Top Venues

Publications

Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. QCE (2023)
Tom Peham, Nina Brandl, Richard Kueng, Robert Wille, Lukas Burgholzer
Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers. CoRR (2023)