@inproceedings(AlvianoDFLR13, author = {M. Alviano and C. Dodaro and W. Faber and N. Leone and F. Ricca}, year = {2013}, title = {{WASP:} {A} Native {ASP} Solver Based on Constraint Learning}, editor = {Pedro Cabalar and Tran Cao Son}, booktitle = {Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR}-2013}, series = {LNCS}, volume = {8148}, publisher = {Springer}, pages = {54--66}, doi = {10.1007/978-3-642-40564-8_6}, ) @inproceedings(BichlerMW16, author = {M. Bichler and M. Morak and S. Woltran}, year = {2016}, title = {lpopt: {A} Rule Optimization Tool for Answer Set Programming}, editor = {Manuel V. Hermenegildo and L{\'{o}}pez{-}Garc{\'{\i}}a, Pedro}, booktitle = {Proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, {LOPSTR}-2016}, series = {LNCS}, volume = {10184}, publisher = {Springer}, pages = {114--130}, doi = {10.1007/978-3-319-63139-4_7}, ) @article(BrewkaET11, author = {G. Brewka and T. Eiter and M. Truszczynski}, year = {2011}, title = {Answer set programming at a glance}, journal = {Commun. ACM}, volume = {54}, number = {12}, pages = {92--103}, doi = {10.1145/2043174.2043195}, ) @inproceedings(BuddenhagenL15, author = {M. Buddenhagen and Y. Lierler}, year = {2015}, title = {Performance Tuning in Answer Set Programming}, editor = {Francesco Calimeri and Giovambattista Ianni and Miroslaw Truszczynski}, booktitle = {Proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR}-2015}, series = {LNCS}, volume = {9345}, publisher = {Springer}, pages = {186--198}, doi = {10.1007/978-3-319-23264-5_17}, ) @article(2ndaspcomp, author = {M. Denecker and J. Vennekens and S. Bond and M. Gebser and M. Truszczynski}, year = {2009}, title = {The Second Answer Set Programming Competition}, journal = {LPNMR 2009}, pages = {637–654}, doi = {10.1007/978-3-642-04238-6_75}, ) @article(ErdemGL16, author = {E. Erdem and M. Gelfond and N. Leone}, year = {2016}, title = {Applications of Answer Set Programming}, journal = {{AI} Magazine}, volume = {37}, number = {3}, pages = {53--68}, doi = {10.1609/aimag.v37i3.2678}, ) @book(potsdamBook, author = {M. Gebser and R. Kaminski and B. Kaufmann and T. Schaub}, year = {2012}, title = {Answer Set Solving in Practice}, series = {Synthesis Lectures on Artificial Intelligence and Machine Learning}, publisher = {Morgan\&Claypool Publishers}, doi = {10.2200/S00457ED1V01Y201211AIM019}, ) @article(1staspcomp, author = {M. Gebser and L. Liu and G. Namasivayam and A. Neumann and T. Schaub and M. Truszczynski}, year = {2007}, title = {The First Answer Set Programming System Competition}, journal = {LPNMR 2007}, pages = {3–17}, doi = {10.1007/978-3-540-72200-7_3}, ) @inproceedings(GebserMR17, author = {M. Gebser and M. Maratea and F. Ricca}, year = {2017}, title = {The Design of the Seventh Answer Set Programming Competition}, editor = {Marcello Balduccini and Tomi Janhunen}, booktitle = {Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, {LPNMR}-2017}, series = {LNCS}, volume = {10377}, publisher = {Springer}, pages = {3--9}, doi = {10.1007/978-3-319-61660-5_1}, ) @article(GomesS01, author = {C. P. Gomes and B. Selman}, year = {2001}, title = {Algorithm portfolios}, journal = {Artif. Intell.}, volume = {126}, number = {1-2}, pages = {43--62}, doi = {10.1016/S0004-3702(00)00081-3}, ) @inproceedings(HippenL19, author = {N. Hippen and Y. Lierler}, year = {2019}, title = {Automatic Program Rewriting in Non-Ground Answer Set Programs}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Moa Johansson}, booktitle = {Proceedings of PADL 2019}, series = {LNCS}, volume = {11372}, publisher = {Springer}, pages = {19--36}, doi = {10.1007/978-3-030-05998-9_2}, ) @article(HoosLS14, author = {H. H. Hoos and M. T. Lindauer and T. Schaub}, year = {2014}, title = {claspfolio 2: Advances in Algorithm Selection for Answer Set Programming}, journal = {{Theory and Practice of Logic Programming}}, volume = {14}, number = {4-5}, pages = {569--585}, doi = {10.1017/S1471068414000210}, ) @article(HutterHLS09, author = {F. Hutter and H. H. Hoos and Leyton{-}Brown, K. and T. St{\"{u}}tzle}, year = {2009}, title = {ParamILS: An Automatic Algorithm Configuration Framework}, journal = {J. Artif. Intell. Res.}, volume = {36}, pages = {267--306}, doi = {10.1613/jair.2861}, ) @article(KerschkeHNT19, author = {P. Kerschke and H. H. Hoos and F. Neumann and H. Trautmann}, year = {2019}, title = {Automated Algorithm Selection: Survey and Perspectives}, journal = {Evolutionary Computation}, volume = {27}, number = {1}, pages = {3--45}, doi = {10.1162/evco\_a\_00242}, ) @article(LeonePFEGPS06, author = {N. Leone and G. Pfeifer and W. Faber and T. Eiter and G. Gottlob and S. Perri and F. Scarcello}, year = {2006}, title = {The {DLV} system for knowledge representation and reasoning}, journal = {{ACM} Trans. Comput. Log.}, volume = {7}, number = {3}, pages = {499--562}, doi = {10.1145/1149114.1149117}, ) @article(MarateaPR14, author = {M. Maratea and L. Pulina and F. Ricca}, year = {2014}, title = {A Multi-engine Approach to Answer-set Programming}, journal = {{Theory and Practice of Logic Programming}}, volume = {14}, number = {6}, pages = {841--868}, doi = {10.1017/S1471068413000094}, ) @article(Rice76, author = {J. R. Rice}, year = {1976}, title = {The Algorithm Selection Problem}, journal = {Advances in Computers}, volume = {15}, pages = {65--118}, doi = {10.1016/S0065-2458(08)60520-3}, ) @article(SelmanML96, author = {B. Selman and D. G. Mitchell and H. J. Levesque}, year = {1996}, title = {Generating Hard Satisfiability Problems}, journal = {Artif. Intell.}, volume = {81}, number = {1-2}, pages = {17--29}, doi = {10.1016/0004-3702(95)00045-3}, ) @article(XuHHL08, author = {L. Xu and F. Hutter and H. H. Hoos and Leyton{-}Brown, K.}, year = {2008}, title = {SATzilla: Portfolio-based Algorithm Selection for {SAT}}, journal = {J. Artif. Intell. Res.}, volume = {32}, pages = {565--606}, doi = {10.1613/jair.2490}, )