Olivier Fourdrinoy

	2007
2		Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Eliminating Redundant Clauses in SAT Instances. CPAIOR 2007: 71-83
1		Olivier Fourdrinoy, Éric Grégoire, Bertrand Mazure, Lakhdar Sais: Reducing hard SAT instances to polynomial ones. IRI 2007: 18-23

Coauthor Index

1	Éric Grégoire	[1] [2]
2	Bertrand Mazure	[1] [2]
3	Lakhdar Sais	[1] [2]