ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "booleovská splnitelnost"
booleovská splnitelnost
Publikace
Předměty
Osoby
Publikace
Studium
publication
Adaptace konzistence po cestě pro booleovskou splnitelnost
2010 |
Matematicko-fyzikální fakulta
publication
Adaptace konzistence po cestě pro booleovskou splnitelnost: teoretické představení konceptu
2010 |
Matematicko-fyzikální fakulta
publication
Řešení obtížných problémů nahlížením jako na husté strukturované grafy
2007 |
Matematicko-fyzikální fakulta
publication
Omezující podmínky v plánování
2008 |
Matematicko-fyzikální fakulta
publication
Zesílení konzistence po cestě pro řešení SATu
2008 |
Matematicko-fyzikální fakulta
publication
Řešení obtížných případů problému splnitelnosti Booleovských formulí
2007 |
Matematicko-fyzikální fakulta
publication
Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému
2009 |
Matematicko-fyzikální fakulta