PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Giunchiglia, Enrico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Quantifier Structure in Search-Based Procedures for QBFs.

, , und . IEEE Trans. on CAD of Integrated Circuits and Systems, 26 (3): 497-507 (2007)

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. -Ing. Enrico Pfüller University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03)., , und . AI Magazine, 25 (2): 129-132 (2004)Dealing with expected and unexpected obstacles., , , und . J. Exp. Theor. Artif. Intell., 8 (2): 173-190 (1996)Embedding Complex Decision Procedures Inside an Interactive Theorem Prover., und . Ann. Math. Artif. Intell., 8 (3-4): 475-502 (1993)Structured Proof Procedures., , und . Ann. Math. Artif. Intell., 15 (1): 1-18 (1995)Constraints and AI Planning., , , , , , , und . IEEE Intelligent Systems, 20 (2): 62-72 (2005)Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach., , , und . ICAPS, AAAI, (2013)Learning for Quantified Boolean Logic Satisfiability., , und . AAAI/IAAI, Seite 649-654. AAAI Press / The MIT Press, (2002)Determining Ramifications in the Situation Calculus.. KR, Seite 76-86. Morgan Kaufmann, (1996)A new Approach for Solving Satisfiability Problems with Qualitative Preferences., , und . ECAI, Volume 178 von Frontiers in Artificial Intelligence and Applications, Seite 510-514. IOS Press, (2008)Solving Optimization Problems with DLL., und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 377-381. IOS Press, (2006)