( en | de | ru )

 

Disambiguation of "Simon, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
ZRES: The Old Davis-Putman Procedure Meets ZBDD.

, and . CADE, volume 1831 of Lecture Notes in Computer Science, page 449-454. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Laurent Bartholdi

Thomas Laurent

Laurent Herschke

Thomas Laurent

Laurent Ntahuga

 

Other publications of authors with the same name

PIN skimmer: inferring PINs through the camera and microphone., and . SPSM@CCS, page 67-78. ACM, (2013)ZRES: The Old Davis-Putman Procedure Meets ZBDD., and . CADE, volume 1831 of Lecture Notes in Computer Science, page 449-454. Springer, (2000)Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution., , , and . ICASSP, page 6511-6515. IEEE, (2013)Horizontal Privilege Escalation in Trusted Applications., , , and . USENIX Security Symposium, USENIX Association, (2020)IPR and ``Open Creativity'': The Cases of Videogames and of the Music Industry, , , and . DIME -- The Creative Industries and Intellectual Property, London Conference, (2008)Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms., and . CP, volume 5202 of Lecture Notes in Computer Science, page 630-634. Springer, (2008)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , and . AAAI, page 481-488. AAAI Press, (2013)Preface to the Special Volume on the SAT 2005 Competitions and Evaluations., and . J. Satisf. Boolean Model. Comput., (2006)The Essentials of the SAT 2003 Competition., and . SAT, volume 2919 of Lecture Notes in Computer Science, page 452-467. Springer, (2003)On the Community Structure of Bounded Model Checking SAT Problems., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 65-82. Springer, (2017)