| 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 | 202 | 2004 |
| Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated Reasoning 36 (4), 345, 2006 | 175 | 2006 |
| Design and results of the fifth answer set programming competition F Calimeri, M Gebser, M Maratea, F Ricca Artificial Intelligence 231, 151-181, 2016 | 86 | 2016 |
| SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI, 61-66, 2004 | 81 | 2004 |
| Solving satisfiability problems with preferences E Di Rosa, E Giunchiglia, M Maratea Constraints 15 (4), 485-515, 2010 | 63 | 2010 |
| 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 | 63 | 2004 |
| Planning as satisfiability with preferences E Giunchiglia, M Maratea PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (2), 987, 2007 | 57 | 2007 |
| Evaluating search heuristics and optimization techniques in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella, D Zambonin International Joint Conference on Automated Reasoning, 347-363, 2001 | 56 | 2001 |
| 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 | 45 | 2014 |
| Solving optimization problems with DLL E Giunchiglia, M Maratea ECAI, 377-381, 2006 | 43 | 2006 |
| 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 | 39 | 2008 |
| Dependent and independent variables in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella European Workshop on Logics in Artificial Intelligence, 296-307, 2002 | 39 | 2002 |
| The sixth answer set programming competition M Gebser, M Maratea, F Ricca Journal of Artificial Intelligence Research 60, 41-95, 2017 | 38 | 2017 |
| 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 | 34 | 2005 |
| What’s hot in the answer set programming competition M Gebser, M Maratea, F Ricca Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 32 | 2016 |
| Systems, engineering environments, and competitions Y Lierler, M Maratea, F Ricca AI Magazine 37 (3), 45-52, 2016 | 31 | 2016 |
| The design of the sixth answer set programming competition M Gebser, M Maratea, F Ricca International Conference on Logic Programming and Nonmonotonic Reasoning …, 2015 | 31 | 2015 |
| 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 | 26 | 2005 |
| On the relation among answer set solvers E Giunchiglia, N Leone, M Maratea Annals of Mathematics and Artificial Intelligence 53 (1-4), 169, 2008 | 23 | 2008 |
| (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 | 20 | 2003 |