J. Neves

	2009
1		S. Campos, J. Neves, Luis E. Zárate, Mark A. J. Song: Distributed BMC: A Depth-First Approach to Explore Clause Symmetry. ECBS 2009: 89-94

Coauthor Index

1	S. Campos	[1]
2	Mark A. J. Song	[1]
3	Luis E. Zárate	[1]