Publication
CafeSat: a Modern SAT Solver for Scala
Related publications (24)
Giovanni De Micheli, Fereshte Mozafari Ghoraba
Viktor Kuncak, Dragana Milovancevic
Giovanni De Micheli, Fereshte Mozafari Ghoraba, Heinz Riener, Giulia Meuli, Bruno Schmitt Antunes
Giovanni De Micheli, Eleonora Testa, Heinz Riener, Siang-Yun Lee
Martin Odersky, Aleksander Slawomir Boruch-Gruszecki, Jonathan Immanuel Brachthäuser