No. Title Author Year
1 Answer Set Solving with Generalized Learned Constraints Gebser, Martin et al. 2016
2 Theory Solving Made Easy with Clingo 5 Gebser, Martin et al. 2016
3 Unsatisfiability-based optimization in clasp Andres, Benjamin et al. 2012
4 Multi-Criteria Optimization in Answer Set Programming Gebser, Martin et al. 2011
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI