Sat, 05.07.2014
The paper Answer Set Solver Backdoors by Emilia Oikarinen and Matti Järvisalo has been accepted for publication in the proceedings of the 14th International Conference on Logics in Artificial Intelligence (JELIA 2014).
Last updated on 5 Jul 2014 by Matti Järvisalo - Page created on 5 Jul 2014 by Matti Järvisalo