PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Simon, Laurent"

Author of the publication

copydeleteadd this publication to your clipboard
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)

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.

Dr. Laurent Helden University of Stuttgart

Hon. -Prof. Dr. -Ing. Volker Simon University of Stuttgart

Univ. -Prof. Dr. -Ing. Sven Simon University of Stuttgart

Adina Lucia Simonovic University of Stuttgart

Sara Simonovska University of Stuttgart

 

Other publications of authors with the same name

Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement., , , , and . ICASSP (3), page 145-148. IEEE, (2006)Viewing Boundary Öbjects" as Boundary Constructions., , , and . HICSS, page 339. IEEE Computer Society, (2008)Extension of Generalized Hammerstein model to non-polynomial inputs., , and . EUSIPCO, page 21-25. IEEE, (2016)Refining Restarts Strategies for SAT and UNSAT., and . CP, volume 7514 of Lecture Notes in Computer Science, page 118-126. Springer, (2012)GUNSAT: A Greedy Local Search Algorithm for Unsatisfiability., and . IJCAI, page 2256-2261. (2007)A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model.. Comp. in Bio. and Med., (2017)SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies., , , , and . OTM Conferences (1), volume 4275 of Lecture Notes in Computer Science, page 698-703. Springer, (2006)Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers., , and . SAT, volume 2919 of Lecture Notes in Computer Science, page 468-485. Springer, (2003)Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation)., and . SAT, volume 7317 of Lecture Notes in Computer Science, page 496-497. Springer, (2012)Extreme Cases in SAT Problems., and . SAT, volume 9710 of Lecture Notes in Computer Science, page 87-103. Springer, (2016)