Concepedia

Cédric Piette

CP

Statistics

Publications

12

Citations

330

H-Index

11

Active since

1990

Affiliations

Centre National de la Recherche Scientifique(Current)

Université d'Artois

Université Lille Nord de France

Laboratoire d'Informatique de l'École Polytechnique

Microsoft Research (United Kingdom)

Cédric Piette is an author at Centre National de la Recherche Scientifique specializing in formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSatisfiabilityComputational ComplexityMusicData ScienceFormal VerificationMathematical Programming

Publications per year

1990–2016

12

Publications

12

Vivifying Propositional Clausal Formulae

Cédric Piette, Youssef Hamadi, Lakhdar Saïs · 2010 · 54 citations

Color quantitation through image processing in dermatology

Michel Herbin, Alain Venot, J Y Devaux et al. · IEEE Transactions on Medical Imaging · 1990 · 48 citations

Local-search Extraction of MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette · Constraints · 2007 · 44 citations

Music, Computational Musicology, Local-search Extraction +2

Using local search to find MSSes and MUSes

Éric Grégoire, Bertrand Mazure, Cédric Piette · European Journal of Operational Research · 2008 · 32 citations

Music, Local Search, Computational Musicology +5

On Approaches to Explaining Infeasibility of Sets of Boolean Clauses

Éric Grégoire, Bertrand Mazure, Cédric Piette · 2008 · 31 citations

Computational Logic, Non-classical Logic, Paraconsistent Logic +14

1–5 of 12