DOI10.1007/978-3-642-40564-8_55zbMath1405.68055MaRDI QIDQ2851286
Miroslaw Truszczynski, Ying Zhu
Publication date: 10 October 2013 Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_55
Mathematics Subject Classification ID
68Q25: Analysis of algorithms and problem complexity
68N17: Logic programming