Ruben Duarte Viegas

Publication Activity (10 Years)

Years Active: 2007-2010
Publications (10 Years): 0

Publications

Ruben Duarte Viegas, Francisco Azevedo
GRASPER: constraint reasoning with graphs. Int. J. Reason. based Intell. Syst. 2 (1) (2010)
Ruben Duarte Viegas, Francisco Azevedo
Lazy Constraint Imposing for Improving the Path Constraint. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Ruben Duarte Viegas, Marco Correia, Pedro Barahona, Francisco Azevedo
Using Indexed Finite Set Variables for Set Bounds Propagation. IBERAMIA (2008)
Ruben Duarte Viegas, Francisco Azevedo
GRASPER. EPIA Workshops (2007)
Luís Moniz Pereira, Ruben Duarte Viegas
Architectural Design via Declarative Programming. ICEIS (2) (2007)