Concepedia

Cyril Terrioux

CT

8

Publications

223

Citations

8

H-Index

2003

Active since

Affiliations

Aix-Marseille Université(Current)

Centre National de la Recherche Scientifique

Laboratoire d’Informatique et Systèmes

Cyril Terrioux is an author at Aix-Marseille Université specializing in computational complexity, mathematical programming, and engineering.

Top concepts

EngineeringComputational ComplexityMathematical ProgrammingComputer ScienceCombinatorial OptimizationFormal MethodsAutomated ReasoningDiscrete MathematicsFormal VerificationOperations Research

Publications per year

2003–2016

8

Publications

8

Hybrid backtracking bounded by tree-decomposition of constraint networks

Philippe Jégou, Cyril Terrioux · Artificial Intelligence · 2003 · 116 citations

Mathematical Programming, Constraint Solving, Engineering +7

Decomposition and good recording for solving Max-CSPs

Philippe Jégou, Cyril Terrioux · European Conference on Artificial Intelligence · 2004 · 27 citations

Mathematical Programming, Large-scale Global Optimization, Engineering +17

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems

Martin Cooper, Aymeric Duchein, Achref El Mouelhi et al. · Artificial Intelligence · 2016 · 18 citations · Full text

Mathematical Programming, Constraint Solving, Engineering +13

Dynamic heuristics for backtrack search on tree-decomposition of CSPs

Philippe Jégou, Samba Ndiaye, Cyril Terrioux · 2007 · 15 citations

The Extendable-Triple Property: A New CSP Tractable Class beyond BTP

Philippe Jégou, Cyril Terrioux · Proceedings of the AAAI Conference on Artificial Intelligence · 2015 · 13 citations · Full text

Mathematical Programming, Artificial Intelligence, Engineering +18

Rows per page

1–5 of 8