Handbook of satisfiability /

A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.

Saved in:
Other Authors: Biere, Armin.
Format: Book Electronic
Language:English
Published:Amsterdam ; Washington, DC : IOS Press, ©2009.
Series:Frontiers in artificial intelligence and applications ; v. 185.
Subjects:
Online Access:http://ezproxy.prin.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281413 
Tags: Add Tag
No Tags, Be the first to tag this record!

Principia College

Location: EBSCOhost eBooks [Online for Principia College Patrons Only]

Call Number: QA9.3 .H36 2009eb
Copy 1
Online Access:http://ezproxy.prin.edu:2048/login?url=http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=281413