Cmodels-2: SAT-based answer set solver enhanced to non-tight programs Y Lierler, M Maratea Logic Programming and Nonmonotonic Reasoning: 7th International Conference …, 2004 | 223 | 2004 |

Answer set programming based on propositional satisfiability E Giunchiglia, Y Lierler, M Maratea Journal of Automated reasoning 36, 345-377, 2006 | 202 | 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 | 134 | 2016 |

Asp-core-2 input language format F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ... Theory and Practice of Logic Programming 20 (2), 294-309, 2020 | 115 | 2020 |

SAT-based answer set programming E Giunchiglia, Y Lierler, M Maratea AAAI 4, 61-66, 2004 | 86 | 2004 |

The sixth answer set programming competition M Gebser, M Maratea, F Ricca Journal of Artificial Intelligence Research 60, 41-95, 2017 | 73 | 2017 |

Solving satisfiability problems with preferences E Di Rosa, E Giunchiglia, M Maratea Constraints 15, 485-515, 2010 | 71 | 2010 |

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 | 70 | 2014 |

A SAT-based decision procedure for the boolean combination of difference constraints A Armando, C Castellini, E Giunchiglia, M Maratea Theory and Applications of Satisfiability Testing: 7th International …, 2005 | 70 | 2005 |

Evaluating search heuristics and optimization techniques in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella, D Zambonin Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena …, 2001 | 64 | 2001 |

Dependent and independent variables in propositional satisfiability E Giunchiglia, M Maratea, A Tacchella JELIA 2424, 296-307, 2002 | 62 | 2002 |

Evaluation Techniques and Systems for Answer Set Programming: a Survey. M Gebser, N Leone, M Maratea, S Perri, F Ricca, T Schaub IJCAI 18, 5450-5456, 2018 | 61 | 2018 |

Planning as satisfiability with preferences E Giunchiglia, M Maratea PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 22 (2), 987, 2007 | 60 | 2007 |

Design and results of the second international competition on computational models of argumentation SA Gaggl, T Linsbichler, M Maratea, S Woltran Artificial Intelligence 279, 103193, 2020 | 54 | 2020 |

Evaluation of disjunctive programs in WASP M Alviano, G Amendola, C Dodaro, N Leone, M Maratea, F Ricca Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019 | 51 | 2019 |

Solving optimization problems with DLL E Giunchiglia, M Maratea ECAI 141, 377-381, 2006 | 48 | 2006 |

The design of the seventh answer set programming competition M Gebser, M Maratea, F Ricca Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017 | 46 | 2017 |

Systems, engineering environments, and competitions Y Lierler, M Maratea, F Ricca AI Magazine 37 (3), 45-52, 2016 | 46 | 2016 |

On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels) E Giunchiglia, M Maratea Logic Programming: 21st International Conference, ICLP 2005, Sitges, Spain …, 2005 | 42 | 2005 |

What’s hot in the answer set programming competition M Gebser, M Maratea, F Ricca Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 41 | 2016 |