Book review of: D. Kroening and O. Strichman, Decision procedures. An algorithmic point of view. 2nd ed.
type: Item
instance of: scholarly article
title: Book review of: D. Kroening and O. Strichman, Decision procedures. An algorithmic point of view. 2nd ed.
zbMATH Open document ID: 1417.00043
author: Rosemary Monahan
published in: Formal Aspects of Computing
publication date: 2018-11-16T00:00:00Z
Mathematics Subject Classification ID: 00A17
Mathematics Subject Classification ID: 68-01
Mathematics Subject Classification ID: 68-02
Mathematics Subject Classification ID: 68T15
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 6980312
MaRDI profile type: Publication
full work available at URL: s00165-018-0466-2
OpenAlex ID: W2887746734
Wikidata QID: Q129452012
DOI: 10.1007/S00165-018-0466-2
description: scientific article; zbMATH DE number 6980312