From satisfiability to consistency through certificates: application to partially defined constraints

  • Authors:
  • Arnaud Lallouet;Andrei Legtchenko

  • Affiliations:
  • Universite d'Orleans, BP, Orleans Cedex;Universite d'Orleans, BP, Orleans Cedex

  • Venue:
  • Proceedings of the 2006 ACM symposium on Applied computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we propose a method to automatically derive a filtering algorithm from a constraint expressed by its satisfiability function. We give an application of the technique in the field of Machine Learning in which partially defined constraints are learned by decision trees.