• search hit 22 of 27
Back to Result List

The nomore++ approach to answer set solving

Export metadata

Additional Services

Share in Twitter Search Google Scholar Statistics
Metadaten
Author:Christian Anger, Martin GebserORCiD, Thomas Linke, Andre Neumann, Torsten SchaubORCiDGND
URL:http://www.cs.uni-potsdam.de/wv/pdfformat/angelinesc05c.pdf
Document Type:Article
Language:English
Year of first Publication:2005
Year of Completion:2005
Release Date:2017/03/24
Source:Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'05), / ed. G. Sutcliffe and A. Voronkov. - Springer, 2005 - (Lecture Notes in Computer Science ; 3835). - S. 95 - 109
Organizational units:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science
Peer Review:Referiert
Institution name at the time of publication:Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik