Dependency learning for QBF
type: Item
instance of: scholarly article
title: Dependency learning for QBF
zbMATH Open document ID: 1478.68330
DOI: 10.1007/978-3-319-66263-3_19
author: Tomáš Peitl
author: Friedrich Slivovsky
author: Stefan Szeider
publication date: 2017-11-15T00:00:00Z
full work available at URL: urn:nbn:at:at-ubtuw:3-3440
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 03F20
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6807233
describes a project that uses: Nenofex
describes a project that uses: CAQE
describes a project that uses: AIGSolve
MaRDI profile type: Publication
OpenAlex ID: W2742414663
description: scientific article; zbMATH DE number 6807233