Hung Viet Le

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Hung Viet Le, Enrico Pontelli: An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005: 750-760

2005
1	EE	Hung Viet Le, Enrico Pontelli: An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers. Euro-Par 2005: 750-760

Coauthor Index