Luís Gil

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Luís Gil, Paulo F. Flores, Luís Miguel Silveira
PMSat: a parallel version of MiniSAT. J. Satisf. Boolean Model. Comput. 6 (1-3) (2009)