Handbook
Handbook of satisfiability / edited by Armin Biere, Marijn Heule, Hans van Maaren and Toby Walsh. -- Amsterdam : IOS Press, [2009]. -- ©2009. -- xiii, 966 stran : ilustrace. -- (Frontiers in artificial intelligence and applications : ISSN 0922-6389 ; volume 185). -- ISBN : 978-1-58603-929-5 (vázáno).
Biere, Armin, 1967-. Heule, Marijn, 1979-. Maaren, Hans van, 1950-. Walsh, Toby
algoritmy (programování). rozhodování. výroková logika. příručky
004.421. 164.1. 510.633. (035)