User menu

Solving CSP including a universal quantification

Bibliographic reference De Landtsheer, Renaud. Solving CSP including a universal quantification.2nd International Conference Multiparadigm Programming in Mozart/Oz (Charleroi(Belgium), Oct 07-08, 2004). In: Lecture Notes in Computer Science, Vol. 3389, p. 200-210 (2005)
Permanent URL http://hdl.handle.net/2078.1/60991