MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Marco Maratea" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Look-ahead vs. look-back techniques in a modern sat solver. Accepted at
by Enrico Giunchiglia, Marco Maratea, O Tacchella — 2003 — SAT03 - Sixth International Conference on Theory and Applications of Satisfiability Testing, Portofino
… 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
by Enrico Giunchiglia, Marco Maratea — 2005 — Proceedings of the Twentyfirst International Conference on Logic Programming
… Giunchiglia and Marco Maratea STAR-Lab, DIST, University of Genova viale Francesco Causa, 13 — 16145 Genova…
Cited by 4 (0 self) – Add To MetaCart

in)effectiveness of look-ahead techniques in a modern sat solver
by Enrico Giunchiglia, Marco Maratea, O Tacchella — 2003 — In Proc. CP, LNCS 2833
… (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver Enrico Giunchiglia1, Marco…
Cited by 5 (4 self) – Add To MetaCart

SAT-based planning with minimal-♯actions plans and “soft” goals
by Enrico Giunchiglia, Marco Maratea — 2007 — In Proc. of AI*IA 2007: Advances in Artificial Intelligence, volume 4733 of LNAI
… Maratea DIST, University of Genova, Viale F. Causa 15, Genova, Italy {enrico,marco}@(email omitted); Abstract…
Cited by 2 (0 self) – Add To MetaCart

OPTSAT: A Tool for Solving SAT related optimization problems
by Enrico Giunchiglia, Marco Maratea — 2006 — In Proc. of the 10th European Conference on Logics in Artificial Intelligence (JELIA
…optsat: A Tool for Solving SAT related Optimization Problems Enrico Giunchiglia and Marco Maratea…
Cited by 2 (1 self) – Add To MetaCart

Experimenting with Look-Back Heuristics for Hard ASP Programs �
by Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
…, Marco Maratea, and Francesco Ricca Department of Mathematics, University of Calabria, 87036 Rende (CS…
Add To MetaCart

Looking Back in DLV: Experiments and Comparison to QBF Solvers ⋆
by Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca
… , Marco Maratea 1,2 , and Francesco Ricca 1 1 Department of Mathematics, University of Calabria, 87036…
Add To MetaCart

The SAT-based Approach to Separation Logic
by Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Marco Maratea — 2005 — JOURNAL OF AUTOMATED REASONING
… Giunchiglia and Marco Maratea DIST, University of Genova Viale F. Causa, 13 — 16145 Genova, Italy {armando,drwho,enrico,marco…
Cited by 1 (1 self) – Add To MetaCart

M.: A SAT-based polynomial space algorithm for answer set programming
by Enrico Giunchiglia, Marco Maratea, Yuliya Lierler — Proceedings of the Tenth International Workshop on Non-Monotonic Reasoning. (2004) 189–196
… Maratea Yuliya Lierler DIST - Università di Genova, Genova, Italy Institut für Informatik, {enrico,marco…
Cited by 2 (0 self) – Add To MetaCart

Look-Back Techniques and Heuristics in DLV: Implementation, Evaluation, and Comparison to QBF Solvers
by Marco Maratea , Francesco Ricca , Wolfgang Faber, Nicola Leone — 2008
… Solvers ⋆ Marco Maratea a,b Francesco Ricca a,∗ Wolfgang Faber a Nicola Leone a a Department…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB