|
|
|
|
Contains information about title and source of a journal
| Title: |
Cache Conscious Data Structures for Boolean Satisfiability Solvers |
| Source: |
Journal on Satisfiability, Boolean Modeling and Computation
[1574-0617]
CHU
yr:2009
vol:6
pg:99
|
|
|
|
Contains list of services for current record
|
|
|
|
|
© 2009 SFX by Ex Libris Inc.
CrossRef Enabled
|