Author:Laurent Simon

Publications
IWIL-2015. 11th International Workshop on the Implementation of Logics Boris Konev, Stephan Schulz and Laurent Simon (editors) EPiC Series in Computing, volume 40
Post Mortem Analysis of SAT Solver Proofs Laurent Simon In:POS-14. Fifth Pragmatics of SAT workshop