Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

On the Community Structure of Bounded Model Checking SAT Problems.

G. Baud-Berthier, J. Giráldez-Cru, und L. Simon. 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.

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

Kai Simon University of Stuttgart

Weitere Publikationen von Autoren mit dem selben Namen

Multiresolution for SAT Checking.P. Chatalic, und L. Simon. International Journal on Artificial Intelligence Tools, 10 (4): 451-481 (2001)A parsimony tree for the SAT2002 competition.P. Purdom, D. Berre, und L. Simon. Ann. Math. Artif. Intell., 43 (1): 343-365 (2005)Doppler Signal Detection And Particle Time Of Flight Estimation Using Wavelet Transform For Acoustic Velocity Measurement.A. Degroot, S. Montrésor, B. Gazengel, O. Richoux, und L. Simon. ICASSP (3), Seite 145-148. IEEE, (2006)Viewing Boundary Öbjects" as Boundary Constructions.W. Holford, M. Ebrahimi, O. Aktouf, und L. Simon. HICSS, Seite 339. IEEE Computer Society, (2008)Extension of Generalized Hammerstein model to non-polynomial inputs.A. Novak, L. Simon, und P. Lotton. EUSIPCO, Seite 21-25. IEEE, (2016)A laplace transform-based technique for solving multiscale and multidomain problems: Application to a countercurrent hemodialyzer model.L. Simon. Comp. in Bio. and Med., (2017)SomeWhere: A Scalable Peer-to-Peer Infrastructure for Querying Distributed Ontologies.M. Rousset, P. Adjiman, P. Chatalic, F. Goasdoué, und L. Simon. OTM Conferences (1), Volume 4275 von Lecture Notes in Computer Science, Seite 698-703. Springer, (2006)Challenges in the QBF Arena: the SAT'03 Evaluation of QBF Solvers.D. Berre, L. Simon, und A. Tacchella. SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 468-485. Springer, (2003)Learning Polynomials over GF(2) in a SAT Solver - (Poster Presentation).G. Katsirelos, und L. Simon. SAT, Volume 7317 von Lecture Notes in Computer Science, Seite 496-497. Springer, (2012)Extreme Cases in SAT Problems.G. Audemard, und L. Simon. SAT, Volume 9710 von Lecture Notes in Computer Science, Seite 87-103. Springer, (2016)