PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Tacchella, Armando"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows.

, , , , und . Fundam. Inform., 149 (1-2): 133-158 (2016)

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.

Keine Personen gefunden für den Autorennamen Tacchella, Armando
Eine Person hinzufügen mit dem Namen Tacchella, Armando
 

Weitere Publikationen von Autoren mit dem selben Namen

Report of the Third QBF Solvers Evaluation., , und . JSAT, 2 (1-4): 145-164 (2006)Engineering Approaches and Methods to Verify Software in Autonomous Systems., , , , , , und . IAS, Volume 302 von Advances in Intelligent Systems and Computing, Seite 1683-1700. Springer, (2014)Watched Data Structures for QBF Solvers., , , , und . SAT, Volume 2919 von Lecture Notes in Computer Science, Seite 25-36. Springer, (2003)*SAT System Description.. Description Logics, Volume 22 von CEUR Workshop Proceedings, CEUR-WS.org, (1999)Anomaly Detection in Noisy and Irregular Time Series: The "Turbodiesel Charging Pressure" Case Study., , und . IEA/AIE (1), Volume 6096 von Lecture Notes in Computer Science, Seite 123-132. Springer, (2010)An Empirical Perspective on Ten Years of QBF Solving., , , , und . RCRA@AI*IA, Volume 1451 von CEUR Workshop Proceedings, Seite 62-75. CEUR-WS.org, (2015)Autonomous Driving and Undergraduates: an Affordable Setup for Teaching Robotics., , , , und . AIRO@AI*IA, Volume 1834 von CEUR Workshop Proceedings, Seite 5-9. CEUR-WS.org, (2016)Learning in Physical Domains: Mating Safety Requirements and Costly Sampling., und . AI*IA, Volume 10037 von Lecture Notes in Computer Science, Seite 539-552. Springer, (2016)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , und . J. Artif. Intell. Res., (2006)Quantifier Structure in Search-Based Procedures for QBFs., , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 26 (3): 497-507 (2007)