( en | de | ru )

 

Disambiguierung von "Simon, Laurent"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Community Structure of Bounded Model Checking SAT Problems.

, , und . SAT, Volume 10491 von Lecture Notes in Computer Science, Seite 65-82. Springer, (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Laurent Ntahuga

Laurent Bartholdi

Thomas Laurent

Thomas Laurent

Sarah Laurent

 

Weitere Publikationen von Autoren mit dem selben Namen

PIN skimmer: inferring PINs through the camera and microphone., und . SPSM@CCS, Seite 67-78. ACM, (2013)IPR and ``Open Creativity'': The Cases of Videogames and of the Music Industry, , , und . DIME -- The Creative Industries and Intellectual Property, London Conference, (2008)ZRES: The Old Davis-Putman Procedure Meets ZBDD., und . CADE, Volume 1831 von Lecture Notes in Computer Science, Seite 449-454. Springer, (2000)Resolution enhancement of ultrasonic signals by up-sampled sparse deconvolution., , , und . ICASSP, Seite 6511-6515. IEEE, (2013)Horizontal Privilege Escalation in Trusted Applications., , , und . USENIX Security Symposium, USENIX Association, (2020)Predicting Learnt Clauses Quality in Modern SAT Solvers., und . IJCAI, Seite 399-404. (2009)Minimum Satisfiability and Its Applications., , , und . IJCAI, Seite 605-610. IJCAI/AAAI, (2011)Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms., und . CP, Volume 5202 von Lecture Notes in Computer Science, Seite 630-634. Springer, (2008)Resolution and Parallelizability: Barriers to the Efficient Parallelization of SAT Solvers., , , und . AAAI, Seite 481-488. AAAI Press, (2013)The Second QBF Solvers Comparative Evaluation., , , und . SAT (Selected Papers, Volume 3542 von Lecture Notes in Computer Science, Seite 376-392. Springer, (2004)