Luís Gil

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

1 Luís Gil, Paulo F. Flores, Luis Miguel Silveira: PMSat: a parallel version of MiniSAT. JSAT 6(1-3): 71-98 (2009)

	2009
1		Luís Gil, Paulo F. Flores, Luis Miguel Silveira: PMSat: a parallel version of MiniSAT. JSAT 6(1-3): 71-98 (2009)

Coauthor Index

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Paulo F. Flores	[1]
2	Luis Miguel Silveira (L. Miguel Silveira)	[1]