( en | de | ru )

 

Disambiguierung von "Roussel, Olivier"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Compressing UNSAT Search Trees with Caching.

, , , und . ICAART (3), Seite 358-365. SCITEPRESS, (2023)

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.

Nicolas Roussel

Kevin Roussel

Martin Roussel

Olivier Coutand

Paul Olivier

 

Weitere Publikationen von Autoren mit dem selben Namen

Boys-and-girls Birthdays and Hadamard Products., , und . Fundam. Informaticae, 117 (1-4): 85-101 (2012)Efficient motion planning for quasi-static elastic rods using geometry neighborhood approximation., , und . AIM, Seite 1024-1029. IEEE, (2014)Exact Kanowledge Compilation in Predicate Calculus: The Partial Achievement Case., und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 161-175. Springer, (1997)Sliced Table Constraints: Combining Compression and Tabular Reduction., , , und . CPAIOR, Volume 8451 von Lecture Notes in Computer Science, Seite 120-135. Springer, (2014)Solving WCSP by Extraction of Minimal Unsatisfiable Cores., , , und . ICTAI, Seite 915-922. IEEE Computer Society, (2013)XML Representation of Constraint Networks: Format XCSP 2.1, und . CoRR, (2009)A Decomposition Technique for Max-CSP., , und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 500-504. IOS Press, (2008)Robust and Scalable Navmesh Generation., , und . WSCG, Seite 161-170. Vaclav Skala - Union Agency, (2013)Compressing UNSAT CDCL Trees with Caching., , , und . ICAART (3), Seite 792-799. SCITEPRESS, (2024)Identifying Soft Cores in Propositional Formulæ., , , und . ICAART (2), Seite 486-495. SCITEPRESS, (2022)