http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1 online resource (xiii, 966 p.) : ill.
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Includes bibliographical references and indexes