, Department of Theoretical Computer Science and Mathematical Logic, Faculty of Mathematics and Physics, Charles University, Malostranske namesti 2/25, Praha 1, Czech Republic, Czechia
-
Acta Polytechnica CTU Proceedings Vol. 2 No. 2 (2015): PAIR'14 / PAIR'15 STUDENT CONFERENCES ON PLANNING IN ARTIFICIAL INTELLIGENCE AND ROBOTICS - Articles
REINFORCED ENCODING FOR PLANNING AS SAT
Abstract PDF