Prohlížení ČVUT - elektronické publikace dle autora "Trunda, Otakar"
-
REINFORCED ENCODING FOR PLANNING AS SAT
Autor: Balyo, Tomáš; Barták, Roman; Trunda, Otakar
(České vysoké učení technické v PrazeCzech Technical University in Prague, 2015)Solving planning problems via translation to satisfiability (SAT) is one of the most successful approaches to automated planning. We propose a new encoding scheme, called Reinforced Encoding, which encodes a planning problem ...