Login / Signup
Theory Solving Made Easy with Clingo 5.
Martin Gebser
Roland Kaminski
Benjamin Kaufmann
Max Ostrowski
Torsten Schaub
Philipp Wanko
Published in:
ICLP (Technical Communications) (2016)
Keyphrases
</>
databases
search algorithm
expert systems
mobile robot
scheduling problem
constraint satisfaction problems
computational model
theoretical framework
information theory
timetabling problem