DOI10.1007/978-3-642-40564-8_7zbMath1405.68036MaRDI QIDQ2851230
Wolfgang Faber, Mario Alviano
Publication date: 10 October 2013 Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave) Full work available at URL: http://eprints.hud.ac.uk/id/eprint/21032/1/lpnmr2013.pdf
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68N17: Logic programming