ExLibris header image
 
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
Online Sources
service type icon, opens target in new window
Print Sources
service type icon, opens target in new window
service type icon, opens target in new window
Web Search
service type icon, opens target in new window
 
 
Search Terms:
 


© 2009 SFX by Ex Libris Inc.
CrossRef Enabled