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
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas.

, , and . J. Artif. Intell. Res., (2006)

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

Constraints and AI Planning., , , , , , , and . IEEE Intelligent Systems, 20 (2): 62-72 (2005)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)Modeling and Reasoning about Business Processes under Authorization Constraints: A Planning-Based Approach., , , and . ICAPS, AAAI, (2013)Learning for Quantified Boolean Logic Satisfiability., , and . AAAI/IAAI, page 649-654. AAAI Press / The MIT Press, (2002)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)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)