Searching for authors named "Enrico Giunchiglia" – sorted by Relevance.
61 documents found, showing 1 through 10.
Next 10 →
-
Determining Ramifications in the Situation Calculus
- … Determining Ramifications in the Situation Calculus Enrico Giunchiglia January 1997 Technical…
- Cited by 6 (1 self) – Add To MetaCart
-
A set of hierarchically structured decision procedures for some subclasses of First Order Logic
- … structured decision procedures for some subclasses of First Order Logic Enrico Giunchiglia Mechanized…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … Improvements to SAT-based conformant planning ? Claudio Castellini 1;2, Enrico Giunchiglia2…
- Add To MetaCart
-
Applying the Davis-Putnam procedure to non-clausal formulas
- …Applying the Davis-Putnam procedure to non-clausal formulas ? Enrico Giunchiglia 1 and Roberto…
- Cited by 24 (7 self) – Add To MetaCart
-
Look-ahead vs. look-back techniques in a modern sat solver. Accepted at
- … Look-Ahead vs. Look-Back Techniques in a Modern SAT Solver Enrico Giunchiglia1, Marco Maratea1…
- Cited by 3 (1 self) – Add To MetaCart
-
M.: On the relation between answer set and SAT procedures (or, between cmodels and smodels
- …On the relation between Answer Set and SAT procedures (or, between CMODELS and SMODELS) Enrico…
- Cited by 4 (0 self) – Add To MetaCart
-
in)effectiveness of look-ahead techniques in a modern sat solver
- … (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver Enrico Giunchiglia1, Marco…
- Cited by 5 (4 self) – Add To MetaCart
-
2000], The SAT-based approach for classical modal logics
- … The SAT-Based Approach for Classical Modal Logics? Enrico Giunchiglia1, Fausto Giunchiglia2…
- Cited by 1 (0 self) – Add To MetaCart
-
System Description: *SAT - A platform for the development of modal decision procedures
- …System Description: *sat A platform for the development of modal decision procedures ? Enrico…
- Cited by 1 (0 self) – Add To MetaCart
-
SAT-based planning with minimal-♯actions plans and “soft” goals
- …SAT-based planning with minimal-#actions plans and “soft” goals Enrico Giunchiglia and Marco…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
