ISBN-13: 9781586039295 / Angielski / Twarda / 2009 / 980 str.
ISBN-13: 9781586039295 / Angielski / Twarda / 2009 / 980 str.
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.