( 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 Bartholdi

Laurent Ntahuga

Thomas Laurent

Thomas Laurent

Laurent Herschke

 

Weitere Publikationen von Autoren mit dem selben Namen

SomeWhere in the Semantic Web., , , , und . PPSWR, Volume 3703 von Lecture Notes in Computer Science, Seite 1-16. Springer, (2005)Molecular Transport in Viscoelastic Materials: Mechanistic Properties and Chemical Affinities., , , und . SIAM J. Appl. Math., 74 (5): 1598-1614 (2014)SCORED '22: ACM Workshop on Software Supply Chain Offensive Research and Ecosystem Defenses., , und . CCS, Seite 3555-3556. ACM, (2022)Modeling and control of amino acid starvation-induced apoptosis in CHO cell cultures., und . ACC, Seite 1579-1584. IEEE, (2002)Multi-resolution on compressed sets of clauses., und . ICTAI, Seite 2-10. IEEE Computer Society, (2000)Spectral analysis of randomly sampled processes., , , , , und . EUSIPCO, Seite 1-4. IEEE, (1996)Eigenvector Centrality in Industrial SAT Instances., und . CP, Volume 7514 von Lecture Notes in Computer Science, Seite 348-356. Springer, (2012)Zigzagging Strategies for Temporal Induction., und . ICTAI, Seite 744-748. IEEE, (2018)A Restriction of Extended Resolution for Clause Learning SAT Solvers., , und . AAAI, Seite 15-20. AAAI Press, (2010)Just-In-Time Compilation of Knowledge Bases., , und . IJCAI, Seite 447-453. IJCAI/AAAI, (2013)