( en | de | ru )

 

Disambiguation of "Giunchiglia, Enrico"

Author of the publication

copydeleteadd this publication to your clipboard
sQueezeBF: An Effective Preprocessor for QBFs Based on Equivalence Reasoning.

, , and . SAT, volume 6175 of Lecture Notes in Computer Science, page 85-98. Springer, (2010)

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.

Enrico Fest

Enrico Körner

Enrico Meier

Enrico Schramm

Enrico Streit

 

Other publications of authors with the same name

On the relation among answer set solvers., , and . Ann. Math. Artif. Intell., 53 (1-4): 169-204 (2008)Nonmonotonic causal theories., , , , and . Artif. Intell., 153 (1-2): 49-104 (2004)Editorial: Nonmonotonic Reasoning., and . Artif. Intell., 157 (1-2): 1-3 (2004)Visual representation of natural language scene descriptions., , , and . IEEE Trans. Syst. Man Cybern. Part B, 26 (4): 575-589 (1996)An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints., , , and . J. Comput. Syst. Sci., 78 (1): 119-141 (2012)Quantifier Structure in Search-Based Procedures for QBFs., , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 26 (3): 497-507 (2007)Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas., , and . J. Artif. Intell. Res., (2006)Introducing Preferences in Planning as Satisfiability., and . J. Log. Comput., 21 (2): 205-229 (2011)Answer Set Programming Based on Propositional Satisfiability., , and . J. Autom. Reason., 36 (4): 345-377 (2006)Reasoning with Quantified Boolean Formulas., , and . Handbook of Satisfiability, volume 185 of Frontiers in Artificial Intelligence and Applications, IOS Press, (2009)