Book review of: D. Kroening and O. Strichman, Decision procedures. An algorithmic point of view. 2nd ed.

DOI10.1007/S00165-018-0466-2zbMath1417.00043OpenAlexW2887746734WikidataQ129452012 ScholiaQ129452012MaRDI QIDQ1624587

Rosemary Monahan

Publication date: 16 November 2018

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-018-0466-2

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) External book reviews (00A17)

This page was built for publication: Book review of: D. Kroening and O. Strichman, Decision procedures. An algorithmic point of view. 2nd ed.