All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Filters

1 (0,098s)

Project

Constraint programming and Boolean satisfiability for artificial intelligence (GP201/09/P318)

The aim of the project is to improve constraint programming and Boolean satisfaction techniques to provide more efficiency in solving problems motivated by artificial intelligence. The project assumes to use tasks from automated planning (a sub-area ...

IN - Informatika

  • 2009 - 2011
  • 882 tis. Kč
  • 882 tis. Kč
  • GA ČR
  • 1 - 1 out of 1