Daniel Le Berre

Recent Publications

The Silent (R)evolution of SAT
Johannes K. Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider
Communications of the ACM, volume 66, number 6, pages 64-72, June 2023.
Cite DOI