Luis G. Silva

Publication Activity (10 Years)

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

Top Topics

Propositional Satisfiability

Hidden Structure

Top Venues

FLAIRS Conference

Publications

Ricardo Marques, Luis G. Silva, Paulo F. Flores, L. Miguel Silveira
Improving SAT Solver Efficiency Using a Multi-Core Approach. FLAIRS Conference (2013)