Author:
Sobhi Ingi,Abdennadher Slim,Betz Hariolf
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Abdennadher, S., Rigotti, C.: Automatic Generation of CHR Constraint Solvers. Journal of Theory and Practice of Logic Programming (TPLP) 5(4-5), 403–418 (2005)
2. Carlsson, M., Beldiceanu, N.: Revisiting the Lexicographic Ordering Constraint. Technical Report T2002-17, Swedish Institute of Computer Science (2002)
3. Lecture Notes in Computer Science;A. Frisch,2002
4. Lecture Notes in Computer Science;T. Frühwirth,2006
5. Lecture Notes in Computer Science;S. Abdennadher,2008
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constraint Handling Rules - What Else?;Rule Technologies: Foundations, Tools, and Applications;2015
2. Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction;ACM Transactions on Computational Logic;2013-02