arXiv Open Access 2020

Constraint Reductions

Olivier Bailleux Yacine Boufkhad

Lihat Sumber

Abstrak

This is a commentary on the CP 2003 paper "Efficient cnf encoding of boolean cardinality constraints". After recalling its context, we outline a classification of Constraints with respect to their deductive power regarding General Arc Consistency (GAC).

Topik & Kata Kunci

cs.AI cs.LO

Penulis (2)

Olivier Bailleux

Yacine Boufkhad

Format Sitasi

APA MLA BibTeX

Bailleux, O., Boufkhad, Y. (2020). Constraint Reductions. https://arxiv.org/abs/2006.02081

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2020
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓