N. A. Reis

Publication Activity (10 Years)

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

Publications

N. A. Reis, José T. de Sousa
On Implementing a Configware/Software SAT Solver. FCCM (2002)