AAAI Publications
Open Conference Systems
Conference Help
User
Username
Password
Remember me
Conference Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Conference Information
»
Presentations
Browse
By Conference
By Author
By Title
Font Size
Home
About
Log In
Account
Search
Archive
Announcements
Home
>
Search
>
Author Details
Author Details
Silva, Luis G, INESC-ID / IST - TU Lisbon, Portugal
The Twenty-Sixth International FLAIRS Conference
- General Conference Full Paper
Improving SAT Solver Efficiency Using a Multi-Core Approach
Abstract
PDF