Title:
Handbook of satisfiability /; 185
Contributer:
Biere, Armin
Publisher:
Amsterdam [u.a.] :IOS Press,
Year of publication:
2009
Pages:
XIII, 966 S. :
,
graph. Darst.
Series Statement:
Frontiers in artificial intelligence and applications 185
ISBN:
978-1-586-03929-5
Type of Medium:
Book
Language:
English