Funder
Universitat de Girona
MINECO/FEDER, UE
MINECO and FSE, Ayudas para Contratos Predoctorales
MICINN/FEDER, UE
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference32 articles.
1. Abío I, Stuckey PJ (2014) Encoding linear constraints into SAT. In: International conference on principles and practice of constraint programming (CP), lecture notes in computer science, vol 8656, pp 75–91
2. Abío I, Nieuwenhuis R, Oliveras A, Rodríguez-Carbonell E, Mayer-Eichberger V (2012) A new look at BDDs for pseudo-Boolean constraints. J Artif Intell Res 45:443–480
3. Abío I, Mayer-Eichberger V, Stuckey PJ (2015) Encoding linear constraints with implication chains to CNF. In: International conference on principles and practice of constraint programming (CP), lecture notes in computer science, vol 9255, Springer, pp 3–11
4. Abío I, Gange G, Mayer-Eichberger V, Stuckey PJ (2016) On CNF encodings of decision diagrams. In: 13th International conference on integration of AI and OR techniques in constraint programming (CPAIOR), lecture notes in computer science, vol 9676, pp 1–17
5. Bacchus F, Winter J (2003) Effective preprocessing with hyper-resolution and equality reduction. In: International conference on theory and applications of satisfiability testing (SAT), lecture notes in computer science, vol 2919, pp 341–355
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献