Rémi Brochenin

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 3

Top Topics

Quantified Boolean Formulas

Answer Set Solvers

Logic Programming

Top Venues

Argument Comput.

École normale supérieure de Cachan, France (PHD)

Education History

École normale supérieure de Cachan, France

PHD

Publications