Author:
Fontaine Daniel,Michel Laurent,Van Hentenryck Pascal
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Akgun, O., Miguel, I., Jefferson, C., Frisch, A., Hnich, B.: Extensible automated constraint modelling (2011)
2. De Moura, L., Bjørner, N.: Satisfiability modulo theories: introduction and applications. Commun. ACM 54(9), 69–77 (2011)
3. Lecture Notes in Computer Science;G.J. Duck,2008
4. Lecture Notes in Computer Science;G. Duck,2006
5. Lecture Notes in Computer Science;M.M. Fazel-Zarandi,2009
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献