Old Web
English
Sign In
Acemap
>
Paper
>
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).
Logic Programming with Max-Clique and its Application to Graph Coloring (Tool Description).
2017
Michael Codish
Michael Frank
Amit Metodi
Morad Muslimany
Keywords:
Discrete mathematics
Logic programming
Clique
Graph coloring
Mathematics
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
1
Citations
NaN
KQI
[]