Ashiqur R. KhudaBukhsh

	2009
1		Ashiqur R. KhudaBukhsh, Lin Xu, Holger H. Hoos, Kevin Leyton-Brown: SATenstein: Automatically Building Local Search SAT Solvers from Components. IJCAI 2009: 517-524

Coauthor Index

1	Holger H. Hoos (Holger Hoos)	[1]
2	Kevin Leyton-Brown	[1]
3	Lin Xu	[1]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page