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 | 181 | 2006 |

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

Disjunctive answer set programming via satisfiability Y Lierler | 65 | 2005 |

cmodels – SAT-Based Disjunctive Answer Set Solver Y Lierler International Conference on Logic Programming and Nonmonotonic Reasoning …, 2005 | 62 | 2005 |

One more decidable class of finitely ground programs Y Lierler, V Lifschitz International Conference on Logic Programming, 489-493, 2009 | 53 | 2009 |

Relating constraint answer set programming languages and algorithms Y Lierler Artificial Intelligence 207, 1-22, 2014 | 45 | 2014 |

Abstract answer set solvers Y Lierler International Conference on Logic Programming, 377-391, 2008 | 41 | 2008 |

Knowledge representation and question answering M Balduccini, C Baral, Y Lierler Foundations of Artificial Intelligence 3, 779-819, 2008 | 39* | 2008 |

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

The winograd schema challenge and reasoning about correlation D Bailey, AJ Harrison, Y Lierler, V Lifschitz, J Michael 2015 AAAI Spring Symposium Series, 2015 | 34 | 2015 |

A Tarskian informal semantics for answer set programming M Denecker, Y Lierler, M Truszczynsky, J Vennekens Technical Communications of the 28th International Conference on Logic …, 2012 | 33 | 2012 |

Transition systems for model generators—a unifying approach Y Lierler, M Truszczynski Theory and Practice of Logic Programming 11 (4-5), 629-646, 2011 | 30 | 2011 |

Abstract answer set solvers with backjumping and learning Y Lierler Theory and Practice of Logic Programming 11 (2-3), 135-169, 2011 | 25 | 2011 |

Elementary Sets of Logic Programs M Gebser, J Lee, Y Lierler AAAI, 244-249, 2006 | 25 | 2006 |

Representing first-order causal theories by logic programs P Ferraris, J Lee, Y Lierler, V Lifschitz, F Yang Theory and Practice of Logic Programming 12 (3), 383-412, 2012 | 21 | 2012 |

SMT-based constraint answer set solver EZSMT (system description) B Susman, Y Lierler Technical Communications of the 32nd International Conference on Logic …, 2016 | 20 | 2016 |

Constraint answer set solver EZCSP and why integration schemas matter M Balduccini, Y Lierler Theory and Practice of Logic Programming 17 (4), 462-515, 2017 | 18 | 2017 |

Impact of meteorological factors on the prevalence of porcine pasteurellosis in the southcentral of Mainland China X Gao, J Xiao, H Qin, Z Cao, H Wang Preventive veterinary medicine 125, 75-81, 2016 | 18* | 2016 |

Parsing combinatory categorial grammar via planning in answer set programming Y Lierler, P Schüller Correct Reasoning, 436-453, 2012 | 18 | 2012 |