`Travelled to:`

1 × China

1 × Denmark

1 × France

`Collaborated with:`

H.Cirstea C.Kirchner R.Nieuwenhuis A.Oliveras E.Rodríguez-Carbonell

`Talks about:`

calculus (3) constraint (2) explicit (2) applic (2) rho (2) confluenc (1) commerci (1) arithmet (1) pattern (1) inexact (1)

## Person: Germain Faure

### DBLP: Faure:Germain

### Contributed to:

### Wrote 5 papers:

- SAT-2008-FaureNOR #formal method #linear #satisfiability
- SAT Modulo the Theory of Linear Arithmetic: Exact, Inexact and Commercial Solvers (GF, RN, AO, ERC), pp. 77–90.
- RTA-2007-CirsteaF #calculus #confluence
- Confluence of Pattern-Based Calculi (HC, GF), pp. 78–92.
- WRLA-2004-CirsteaFK05 #calculus #constraints
- A rho-Calculus of Explicit Constraint Application (HC, GF, CK), pp. 51–67.
- WRLA-J-2004-CirsteaFK07 #calculus #constraints
- A rho-calculus of explicit constraint application (HC, GF, CK), pp. 37–72.
- RTA-2002-FaureK #calculus #exception
- Exceptions in the Rewriting Calculus (GF, CK), pp. 66–82.