Constraint programming and Boolean satisfiability for artificial intelligence
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Postdoktorandské granty 9 (SGA02009GA1PD)
Main participants
—
Contest type
VS - Public tender
Contract ID
201/09/P318
Alternative language
Project name in Czech
Omezující podmínky a booleovská splnitelnost pro umělou inteligenci
Annotation in Czech
(i) Aplikovat toky v sítích pro relaxaci těžkých problémů z umělé inteligence. (ii) Navrhnout konzistenční techniky založené na strukturálních vlastnostech. (iii) Popsat strukturu vysoce paralelního plánování. (iv) Charakterizovat obtížnost problémů s využitím (i), (ii) a (iii).
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
IN - Informatics
CEP - secondary branch
BA - General mathematics
CEP - another secondary branch
JD - Use of computers, robotics and its application
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10101 - Pure mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
The project gone according to plan both in terms of expertise and in terms of disbursement of funds.
Solution timeline
Realization period - beginning
Jan 1, 2009
Realization period - end
Dec 31, 2011
Project status
U - Finished project
Latest support payment
Apr 16, 2011
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP12-GA0-GP-U/03:3
Data delivery date
May 2, 2016
Finance
Total approved costs
882 thou. CZK
Public financial support
882 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK