Book review of: Daniel Kroening and Ofer Strichman, Decision procedures: an algorithmic point of view

DOI10.1007/S10817-013-9295-4zbMath1314.00015OpenAlexW2056241672MaRDI QIDQ2351398

Clark Barrett

Publication date: 23 June 2015

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-013-9295-4

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)

Cites Work

• Unnamed Item
• An algorithm for reasoning about equality

This page was built for publication: Book review of: Daniel Kroening and Ofer Strichman, Decision procedures: an algorithmic point of view