Abstract solvers for quantified Boolean formulas and their applications
type: Item
instance of: scholarly article
title: Abstract solvers for quantified Boolean formulas and their applications
zbMATH Open document ID: 1430.68288
DOI: 10.1007/978-3-319-24309-2_16
author: Marco Maratea
author: Rémi Brochenin
publication date: 2020-02-10T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68R07
zbMATH DE Number: 7165543
MaRDI profile type: Publication
full work available at URL: 978-3-319-24309-2 16
OpenAlex ID: W2254161830
description: scientific article