Olivier Bailleux (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 Olivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006)

4 Olivier Bailleux, Pierre Marquis: DISTANCE-SAT: Complexity and Algorithms. AAAI/IAAI 1999: 642-647

Selection of 2 from 13 records - Olivier Bailleux has 7 coauthors

12		Olivier Bailleux, Pierre Marquis: Some Computational Aspects of distance-sat. J. Autom. Reasoning 37(4): 231-260 (2006)
4		Olivier Bailleux, Pierre Marquis: DISTANCE-SAT: Complexity and Algorithms. AAAI/IAAI 1999: 642-647