Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Cardinal: A Finite Sets Constraint Solver
March 2007
fa07:const2
-
Journal
Francisco Azevedo
Constraints
Springer
-
12
1
93-129
-
-
-
http://www.springerlink.com/content/p101v04216537401/
Export formats
Francisco Azevedo, Cardinal: A Finite Sets Constraint Solver, Constraints, Vol. 12, No. 1, Pag. 93-129, Springer, (http://www.springerlink.com/content/p101v04216537401/), March 2007.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98_amp_cscd=030a7f5addb5279e4f22b0633fa93c4f" class="author">Francisco Azevedo</a></b>, <u>Cardinal: A Finite Sets Constraint Solver</u>, Constraints, Vol. 12, No. 1, Pag. 93-129, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, (<a href="http://www.springerlink.com/content/p101v04216537401/" target="_blank">url</a>), March 2007.
@article {fa07:const2, author = {Francisco Azevedo}, title = {Cardinal: A Finite Sets Constraint Solver}, journal = {Constraints}, publisher = {Springer}, volume = {12}, number = {1}, pages = {93-129}, url = {http://www.springerlink.com/content/p101v04216537401/}, month = {March}, year = {2007}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=9fd2e0cf3ed17103ffe5fa3149806e44
http://centria.di.fct.unl.pt/publications/view.php?code=fa07:const2
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento