Login Form






Lost Password?
Marco Maratea
Links : Links

Didattica

 

  • Fondamenti di Informatica 2, Universita' degli Studi di Genova -- Sede di Savona, Laurea in Ingegneria Gestionale, II quadrimestre, 2006-2007.

  • Introduzione all'Informatica, Universita' della Calabria, Facolta' SMFN, I trimestre 2006-2007.

  • Introduzione all'Informatica, Universita' della Calabria, Facolta' SMFN, I trimestre 2005-2006.

  • Ragionamento Automatico, Universita' della Calabria, Dipartimento di Matematica, Laurea Specialistica in Informatica, II trimestre 2005-2006.

  • Reri e Sicurezza Informatica , Universita' della Calabria, Dipartimento di Matematica, Laurea Specialistica in Informatica, III trimestre 2005-2006.

Talks

 

 

  • 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

    • Page Last Updated : 2007-08-26 18:12:43
    Site Last Updated : 2007-08-27 08:19:36

    Powered by UHP2 1.4 - Free version please visit our site to upgrade
    © Copyright 2007 Ravenswood IT Services