PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Giunchiglia, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
Quantifier Structure in Search-Based Procedures for QBFs.

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

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dr. -Ing. Enrico Pfüller University of Stuttgart

 

Other publications of authors with the same name

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