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 ...