Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Cardinal: A Finite Sets Constraint Solver
Publication date:
March 2007
Citation:
fa07:const2
Abstract:
-
Journal
Authors:
Francisco Azevedo
Journal:
Constraints
Publisher:
Springer
Address:
-
Volume:
12
Number:
1
Pages:
93-129
ISBN:
-
ISSN:
-
Note:
-
Url address:
http://www.springerlink.com/content/p101v04216537401/
Export formats
Plain text:
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.
HTML:
<b><a href="/people/members/view.php?code=f260a0cb31e0c92628691f7473b16e98" 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.
BibTeX:
@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
Full url:
/publications/view.php?code=9fd2e0cf3ed17103ffe5fa3149806e44
Friendly url:
/publications/view.php?code=fa07:const2
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541