Marco Maratea
Marco Maratea
Verified email at dibris.unige.it - Homepage
TitleCited byYear
Cmodels-2: SAT-based answer set solver enhanced to non-tight programs
Y Lierler, M Maratea
International Conference on Logic Programming and NonMonotonic Reasoning …, 2004
2002004
Answer set programming based on propositional satisfiability
E Giunchiglia, Y Lierler, M Maratea
Journal of Automated Reasoning 36 (4), 345, 2006
1712006
SAT-based answer set programming
E Giunchiglia, Y Lierler, M Maratea
AAAI, 61-66, 2004
792004
Design and results of the fifth answer set programming competition
F Calimeri, M Gebser, M Maratea, F Ricca
Artificial Intelligence 231, 151-181, 2016
712016
A SAT-based decision procedure for the boolean combination of difference constraints
A Armando, C Castellini, E Giunchiglia, M Maratea
International Conference on Theory and Applications of Satisfiability …, 2004
632004
Planning as satisfiability with preferences
E Giunchiglia, M Maratea
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (2), 987, 2007
582007
Solving satisfiability problems with preferences
E Di Rosa, E Giunchiglia, M Maratea
Constraints 15 (4), 485-515, 2010
562010
Solving optimization problems with DLL
E Giunchiglia, M Maratea
ECAI, 377-381, 2006
392006
A multi-engine approach to answer-set programming
M Maratea, L Pulina, F Ricca
Theory and Practice of Logic Programming 14 (6), 841-868, 2014
382014
Dependent and independent variables in propositional satisfiability
E Giunchiglia, M Maratea, A Tacchella
European Workshop on Logics in Artificial Intelligence, 296-307, 2002
372002
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
M Maratea, F Ricca, W Faber, N Leone
Journal of Algorithms 63 (1-3), 70-89, 2008
312008
On the relation between answer set and SAT procedures (or, between cmodels and smodels)
E Giunchiglia, M Maratea
International Conference on Logic Programming, 37-51, 2005
302005
The design of the sixth answer set programming competition
M Gebser, M Maratea, F Ricca
International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015
262015
TSAT++: an open platform for satisfiability modulo theories
A Armando, C Castellini, E Giunchiglia, M Idini, M Maratea
Electronic Notes in Theoretical Computer Science 125 (3), 25-36, 2005
252005
What's Hot in the Answer Set Programming Competition.
M Gebser, M Maratea, F Ricca
AAAI 16, 4327-4329, 2016
242016
Systems, engineering environments, and competitions
Y Lierler, M Maratea, F Ricca
AI Magazine 37 (3), 45-52, 2016
202016
The sixth answer set programming competition
M Gebser, M Maratea, F Ricca
Journal of Artificial Intelligence Research 60, 41-95, 2017
192017
(In) Effectiveness of look-ahead techniques in a modern SAT solver
E Giunchiglia, M Maratea, A Tacchella
International Conference on Principles and Practice of Constraint …, 2003
192003
On the relation among answer set solvers
E Giunchiglia, N Leone, M Maratea
Annals of Mathematics and Artificial Intelligence 53 (1-4), 169, 2008
182008
A new Approach for Solving Satisfiability Problems with Qualitative Preferences.
E Di Rosa, E Giunchiglia, M Maratea
ECAI, 510-514, 2008
182008
The system can't perform the operation now. Try again later.
Articles 1–20