CDCL

[gisellemnr]

No description provided.

[ceilican]

Acho que é melhor a gente não colocar possible authors, pois isso pode desencorajar outras pessoas a contribuir. Já no caso de autores que já prometeram submeter uma entrada, eu acho que tudo bem. On Fri, Sep 29, 2017 at 1:27, Giselle Reis <[email protected]> wrote: Possible authors for this entry: Cesare Tinelli and Marijn Heule. — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub [#79] , or mute the thread [https://github.com/notifications/unsubscribe-auth/ABucHIDu6I7A_2xF-bEw3emLhpxUwmkwks5sm7rugaJpZM4PndIp] .