![](/img/cover-not-exists.png)
AIP Conference Proceedings [Author(s) MATHEMATICAL METHODS AND COMPUTATIONAL TECHNIQUES IN SCIENCE AND ENGINEERING - Cambridge, UK (24–26 February 2017)] - A hybrid bit-encoding for SAT planning based on clique-partitioning
Tapia, Cristóbal, San Segundo, Pablo, Galán, RamónVolume:
1872
Year:
2017
Language:
english
DOI:
10.1063/1.4996672
File:
PDF, 301 KB
english, 2017