Yacine Boufkhad (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

15 Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: New Encodings of Pseudo-Boolean Constraints into CNF. SAT 2009: 181-194

13 Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: A Translation of Pseudo Boolean Constraints to SAT. JSAT 2(1-4): 191-200 (2006)

11 Olivier Bailleux, Yacine Boufkhad: Full CNF Encoding: The Counting Constraints Case. SAT 2004

10 Olivier Bailleux, Yacine Boufkhad: Efficient CNF Encoding of Boolean Cardinality Constraints. CP 2003: 108-122

Selection of 4 from 16 records - Yacine Boufkhad has 16 coauthors

15		Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: New Encodings of Pseudo-Boolean Constraints into CNF. SAT 2009: 181-194
13		Olivier Bailleux, Yacine Boufkhad, Olivier Roussel: A Translation of Pseudo Boolean Constraints to SAT. JSAT 2(1-4): 191-200 (2006)
11		Olivier Bailleux, Yacine Boufkhad: Full CNF Encoding: The Counting Constraints Case. SAT 2004
10		Olivier Bailleux, Yacine Boufkhad: Efficient CNF Encoding of Boolean Cardinality Constraints. CP 2003: 108-122