Autor:	A. Biere, M. Heule, H. Van Maaren, T. Walsh
Předmět:	Computer algorithms--Congresses, Algebra, Boolean--Congresses, Propositional calculus--Congresses, Decision making--Congresses
Kategorie:	COMPUTERS / Artificial Intelligence / General
Popis:	A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
Databáze:	eBook Collection (EBSCOhost)
Externí odkaz:	Zobrazit plný text záznamu