Statistics
Publications
2
Citations
90
H-Index
2
Active since
2003
Affiliations
University of Lisbon(Current)
Nuno Reis is an author at University of Lisbon specializing in engineering, satisfiability, and automated reasoning.
Publications per year
2003–2015
2
2
On implementing a configware/software SAT solver
Nuno Reis, José T. de Sousa · 2003 · 12 citations
Engineering, Hardware Verification Language, Sat Formulas +18
1–2 of 2