Login / Signup

Theory Solving Made Easy with Clingo 5.

Martin GebserRoland KaminskiBenjamin KaufmannMax OstrowskiTorsten SchaubPhilipp 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