Thu, 09.06.2016
The following two papers by the Constraint Reasoning and Optimization group have been accepted for publications in the proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016) taking place in The Hague, The Netherlands, in August 2016.
- Subsumed Label Elimination for Maximum Satisfiability by Jeremias Berg, Paul Saikko, and Matti Järvisalo.
- Synthesizing Argumentation Frameworks from Examples by Andreas Niskanen, Johannes P. Wallner, and Matti Järvisalo.
Last updated on 9 Jun 2016 by Matti Järvisalo - Page created on 9 Jun 2016 by Matti Järvisalo