Travelled to:1 × Italy
1 × USA
Collaborated with:∅ A.Saad T.W.Frühwirth
Talks about:constraint (4) set (3) conjunto (2) domain (2) finit (2) quantifi (1) variabl (1) reliabl (1) program (1) reason (1)
Person: Carmen Gervet
DBLP: Gervet:Carmen
Contributed to:
201419941994Wrote 3 papers:
- ICLP-J-2014-SaadFG #constraints #reasoning #reliability
- The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information (AS, TWF, CG), pp. 461–475.
- ICLP-1994-Gervet #constraints #finite #named #set
- Conjunto: Constraint Propagation over Set Constraints with Finite Set Domain Variables (CG), p. 733.
- ILPS-1994-Gervet #constraints #finite #logic programming #named #set
- Conjunto: Constraint Logic Programming with Finite Set Domains (CG), pp. 339–358.