Richard Génisson

Publication Activity (10 Years)

Years Active: 1996-2000
Publications (10 Years): 0

Publications

Richard Génisson, Philippe Jégou
On the relations between SAT and CSP enumerative algorithms. Discret. Appl. Math. 107 (1-3) (2000)
Richard Génisson, Philippe Jégou
Davis and Putnam were Already Checking Forward. ECAI (1996)