Enrico__Giunchiglia
A subset-matching size-bounded cache for satisfiability of modal logics
Act, and the rest will follow: exploiting determinism in planning as satisfiability
Actions with Indirect Effects
An action language based on causal explanation: Preliminary report
Applying the Davis-Putnam procedure to non-clausal formulas
Backjumping for quantified Boolean logic satisfiability
Dependent fluents
Determining ramifications in the situation calculus
More evaluation of decision procedures for modal logics
QUBE: A system for deciding quantified boolean formulas satisfiability
Representing action: Indeterminacy and ramifications
SAT-Based Decision Procedures for Classical Modal Logics