BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Piette:C=eacute=dric

Contributed to:

PDP 20142014
SAT 20122012
CADE 20092009
CoG 20192019

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.