Author name cluster

Jean-Jacques Chabrier

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

AAAI Conference 1999 Conference Paper

Sacre: A Constraint Satisfaction Problem Based Theorem Prover

Jean-Michel Richer
Jean-Jacques Chabrier
LIRSIA
Université de Bourgogne

Thepurpose of this paper is to present a newapproachfor solvingfirst-order predicatelogic problems stated in conjunctive normal form. Wepropose to combineresolution with the Constraint Satisfaction Problem (CSP) paradigm to prove the inconsistency and find a modelof a problem. Theresulting methodbenefits fromresolution and constraint satisfaction techniques and seemsvery efficient whenconfrontedto someproblemsof the CADE-13 competition.

PDF Details