Graphs and colorings for answer set programming
From MaRDI portal
Publication:3426201
DOI10.1017/S1471068405002528zbMath1109.68081MaRDI QIDQ3426201
Torsten Schaub, Kathrin Konczak, T. Linke
Publication date: 8 March 2007
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68R10: Graph theory (including graph drawing) in computer science
68Q55: Semantics in the theory of computing
68N17: Logic programming
Related Items
Uses Software