`Travelled to:`

1 × Spain

1 × Switzerland

`Collaborated with:`

É.Payet G.Vidal R.Bagnara S.Ruggieri

`Talks about:`

constraint (2) program (2) linear (2) logic (2) function (1) variabl (1) select (1) eventu (1) concol (1) unif (1)

## Person: Fred Mesnard

### DBLP: Mesnard:Fred

### Contributed to:

### Wrote 4 papers:

- ICLP-J-2015-MesnardPV #logic programming #testing
- Concolic testing in logic programming (FM, ÉP, GV), pp. 711–725.
- PPDP-2013-BagnaraM #linear #ranking
- Eventual linear ranking functions (RB, FM), pp. 229–238.
- SAC-2010-RuggieriM #constraints #linear
- Variable ranges in linear constraints (SR, FM), pp. 2061–2065.
- PPDP-2017-MesnardPV #constraints #logic programming #unification
- Selective unification in constraint logic programming (FM, ÉP, GV), pp. 115–126.