Marc Ducobu

	2011
1		Thomas Brihaye, Véronique Bruyère, Laurent Doyen, Marc Ducobu, Jean-François Raskin: Antichain-Based QBF Solving. ATVA 2011: 183-197

Coauthor Index

1	Thomas Brihaye	[1]
2	Véronique Bruyère	[1]
3	Laurent Doyen	[1]
4	Jean-François Raskin	[1]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page