Jindrich Vodrázka

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Logic programming provides a declarative framework for mod-eling and solving many combinatorial problems. Until recently, it was not competitive with state of the art planning techniques partly due to search capabilities limited to backtracking. Recent development brought more advanced search techniques to logic programming such as tabling that simplifies(More)
  • 1