Charles Explorer logo
🇨🇿

Řešení obtížných problémů nahlížením jako na husté strukturované grafy

Publikace na Matematicko-fyzikální fakulta |
2007

Abstrakt

Zabýváme se procesem řešení obtížných problémů z umělé inteligence jako jsou plánování a booleovská splnitelnost. Navrhujeme metodu na rozkrytí struktury problémů.