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:
2014
2012
2009
2019Wrote 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.