Kroening, Daniel
Decision procedures : an algorithmic point of view / Daniel Kroening, Ofer Strichman ; foreword by Randal E. Bryant. -- Berlin : Springer, c2008. -- xvi, 304 s. : il. -- (Texts in theoretical computer science. An EATCS series). -- ISBN : 978-3-540-74104-6 (váz.).
Strichman, Ofer
algoritmy (programování). teorie rozhodování. operační výzkum. učebnice
004.421. 519.8. 519.226. 519.816. (075)