Publication
CafeSat: a Modern SAT Solver for Scala
Publications associées (24)
Denis Gillet, Juan Carlos Farah, Adrian Christian Holzer, Abdessalam Ouaazki
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Adrien Ghosn, Charly Nicolas Lucien Castes
Guillaume André Fradji Martres
Colin Neil Jones, Yuning Jiang, Wenjie Xu, Bratislav Svetozarevic
Martin Odersky, Olivier Eric Paul Blanvillain
Yichen Xu, Lionel Emile Vincent Parreaux, Aleksander Slawomir Boruch-Gruszecki