EasyChair Publications
Search
Author Information
Author:Laurent Simon

Publications

AuthorsTitleVolumePDF
Laurent SimonPost Mortem Analysis of SAT Solver ProofsDaniel Le Berre (editor). POS-14. Fifth Pragmatics of SAT workshop (EPiC Series in Computing, Volume 27)
Boris Konev, Stephan Schulz and Laurent Simon (editors)IWIL-2015. 11th International Workshop on the Implementation of LogicsEPiC Series, Volume 40

Keyphrases

CountKeyphrase
1sat, sat proofs, sat solving