- Tytuł:
- Graphs and Colorings for Answer Set Programming with Preferences
- Autorzy:
-
Konczak, K.
Schaub, T.
Linke, T. - Data publikacji:
- 2003
- Słowa kluczowe:
-
graphic method
mathematical programming
coloring matter
proof theory
computer science - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł