Hledat
Zobrazují se záznamy 1-1 z 1
Modelling and Solving Problems Using SAT Techniques
Modelling and Solving Problems Using SAT Techniques
Dizertační práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2014
Datum obhajoby: 29. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Řešení problémů plánování prostřednictvím překladů do splnitelnosti (SAT) je jedním z nejúspěšnějších přístupů k automatickému plánování. V této práci popíšeme několik způsobů jak přeložit problém plánování reprezentovaný ...
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. In this thesis we describe several ways of encoding a planning problem represented in the ...
Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. In this thesis we describe several ways of encoding a planning problem represented in the ...