Concepedia

Romuald Debruyne

RD

12

Publications

569

Citations

11

H-Index

1995

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

École Nationale Supérieure des Mines de Paris

Université de Montpellier

Laboratoire d'informatique de Nantes Atlantique

Romuald Debruyne is an author at Centre National de la Recherche Scientifique specializing in formal methods, formal verification, and engineering.

Top concepts

EngineeringFormal MethodsFormal VerificationComputer ScienceSystems EngineeringCombinatorial OptimizationVerificationAutomated ReasoningComputer EngineeringComputational Complexity

Publications per year

1995–2009

12

Publications

12

Some Practicable Filtering Techniques for the Constraint Satisfaction Problem.

Romuald Debruyne, Christian Bessière · 1997 · 155 citations

Domain Filtering Consistencies

Romuald Debruyne, Christian Bessière · Journal of Artificial Intelligence Research · 2001 · 126 citations · Full text

Engineering, Reachability Problem, Verification +23

Optimal and suboptimal singleton arc consistency algorithms

Christian Bessière, Romuald Debruyne · 2005 · 56 citations

Theoretical analysis of singleton arc consistency and its extensions

Christian Bessière, Romuald Debruyne · Artificial Intelligence · 2007 · 46 citations

Data Consistency, Singleton Arc Consistency, Set-theoretic Topology +1

Efficient algorithms for singleton arc consistency

Christian Bessière, Stéphane Cardon, Romuald Debruyne et al. · Constraints · 2009 · 36 citations · Full text

Cluster Computing, Data Consistency, Engineering +9

Rows per page

1–5 of 12