`Travelled to:`

1 × Canada

1 × Italy

`Collaborated with:`

G.Audemard B.Hoessen S.Jabbour É.Grégoire B.Mazure J.Lagniez Éric Piette Matthew Stephenson Dennis J. N. J. Soemers Cameron Browne

`Talks about:`

claus (2) solv (2) distribut (1) parallel (1) approach (1) satisfi (1) revisit (1) problem (1) overlap (1) exchang (1)

## Person: Cédric Piette

### DBLP: Piette:C=eacute=dric

### Contributed to:

### Wrote 4 papers:

- PDP-2014-AudemardHJP #approach #distributed #effectiveness #problem #satisfiability
- An Effective Distributed D&C Approach for the Satisfiability Problem (GA, BH, SJ, CP), pp. 183–187.
- SAT-2012-AudemardHJLP #parallel #satisfiability
- Revisiting Clause Exchange in Parallel SAT Solving (GA, BH, SJ, JML, CP), pp. 200–213.
- CADE-2009-GregoireMP #question #set
- Does This Set of Clauses Overlap with at Least One MUS? (ÉG, BM, CP), pp. 100–115.
- CoG-2019-PiettePSSB #game studies #logic
- Ludii and XCSP: Playing and Solving Logic Puzzles (CP, ÉP, MS, DJNJS, CB), pp. 1–4.