Talks
Presentation (in pdf) of the paper:
E. Giunchiglia, M. Maratea Improving Plan Quality in SAT-based Planning.
In Proc. 11th
Congress of the Italian Association for Artificial Intelligence (AI*IA 2009).
Presentation (in
pdf) at the Department of Computer Science
(DI) of the University of L'Aquila , L'Aquila, Italy, EU.
Title: Satisfiability and Preference: Solving Optimization Problems with DLL. Apr 10 2008.
Presentation (in
pdf) at the Department of Computer Science
(DI) of the University of L'Aquila , L'Aquila, Italy, EU.
Title: Propositional Satisfiability (SAT) and SAT-based Decision Procedures. Apr 9 2008.
Presentation (in pdf, in
ps) of the paper:
E. Giunchiglia, M. Maratea SAT-based Planning with
minimal-#actions plans and "soft" goals. Best Paper Award
In Proc. 10th
Congress of the Italian Association for Artificial Intelligence (AI*IA 2007).
Presentation (in pdf, in
ps) of the paper:
E. Giunchiglia, M. Maratea Exploting Optimizations in
SAT-based Planning: minimal-#actions plans and "soft" goals.
Accepted to AI*IA Workshop on "Experimental evaluation of algorithms
for solving problems with combinatorial explosion" (RCRA 2007).
Presentation (in pdf, in
ps) of the paper:
E. Giunchiglia, M. Maratea OPTSAT: A Tool For Solving SAT related
Optimization Problems. In Proc. JELIA06.
Presentation (in
pdf, in ps) at the Department of Computer Science and
Engineering (DEIS) of the University of Calabria Rende (CS), Italy, EU.
Title: Propositional Satisfiability (SAT), SAT-based Answer Set Programming and relation between SAT and ASP. Jun 14 2006.
Presentation (in pdf, in
ps) of the paper:
E. Giunchiglia, M. Maratea Evaluating Search Strategies and Heuristics
for Efficient Answer Set Programming. In Proc. AI*IA'05.
Presentation (in pdf, in ps) of the paper: E. Giunchiglia,
M. Maratea An Experimental Study of Search Strategies and
Heuristics in Answer Set Programming. In Proc. ASP'05.
Presentation (in
pdf, in ps) at the Department of Mathematics of the
University of Calabria Rende (CS),
Italy.
Title: Propositional Satisfiability (SAT), SAT-based Answer Set Programming and relation between SAT and ASP. Jun 16 2005.
Presentation (in
pdf, in ps) at the Department of Physics - Section of Computer Science of the University of Naples "Federico II" Naples, Italy, EU.
Title: Propositional Satisfiability (SAT) and SAT-based Decision Procedures. Jun 13 2005.
Presentation (in
pdf, in ps) at the Dagtuhl Seminars
on Nonmonotonic Reasoning, Answer Set Programming and Constraints Dagstuhl, Germany, EU, j.w.w. E. Giunchiglia.
Title: On the relation between Answer Set and SAT procedures. Apr 26 2005.
Presentation (in
pdf, in ps) at the Combination of Decision Procedures Summer School 2004
, Menlo Park, SRI Interational, CA, j.w.w. A. Armando, C. Castellini, E. Giunchiglia.
Title: TSAT++: SAT-Based Solver for Separation Logic. Aug 12 2004.
Presentation (in
pdf, in ps) at Kestrel Institute , Palo
Alto, CA, j.w.w. E. Giunchiglia et al.
Title: Propositional Satisfiability (SAT) and SAT-Based Decision Procedures. Aug 6 2004.
Presentation (in pdf, in ps) of the paper: E. Giunchiglia, Yu. Lierler, M. Maratea A SAT-Based Answer Set programming. In Proc. of AAAI04.
Presentation (in pdf, in
ps) of the paper:
A. Armando, C. Castellini, E. Giunchiglia, M. Maratea A SAT-Based Decision Procedure for the Boolean
Combination of Difference Constraints. In Proc. SAT04. May 10-13 Vancouver, Canada.
Presentation (in
pdf, in ps) at the Computer Science
Laboratory at SRI Interational , Menlo
Park, CA, j.w.w. A. Armando, C. Castellini, E. Giunchiglia.
Title: TSAT++: SAT-Based Solver for Separation Logic. April 26 2004.
Presentation (in pdf, in ps) of the paper: Yu. Babovich, M. Maratea Computing Answer Sets of a Logic Program via enumeration of SAT certificates. Accepted to ASP03. September 26-29, Messina, Sicily, Italy (EU). Also the poster version (in pdf, in ps) is available
Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea, A. Tacchella Look-Ahead vs. Look-Back Techniques in a Modern SAT Solver. Accepted for publication to SAT 2003
Presentation (in pdf, in ps) of the paper: E. Giunchiglia, M. Maratea, A. Tacchella Dependent and Independent Variables in Propositional Satisfiability. in Proc. of JELIA 2002