Author:Daniel Le Berre

Publications
Proceedings of Pragmatics of SAT 2015 and 2018 Daniel Le Berre and Matti Järvisalo (editors) EPiC Series in Computing, volume 59
POS-14. Fifth Pragmatics of SAT workshop Daniel Le Berre (editors) EPiC Series in Computing, volume 27
POS-13. Pragmatics of SAT 2013 Daniel Le Berre (editors) EPiC Series in Computing, volume 29
POS-10. Pragmatics of SAT Daniel Le Berre (editors) EPiC Series in Computing, volume 8