|
|
|
|
|
Olivier Gasquet, Dominique Longin, Fr´ed´eric Maris, Pierre R´egnier, Ma¨el Valais
Pág. 103 - 113
Considerable improvements in the technology and performance of SAT solvers has made their use possible for the resolution of various problems in artificial intelligence, and among them that of generating plans. Recently, promising Quantified Boolean Form...
ver más
|
|
|
|
|