Theory and applications of satisfiability testing -- SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9--12, 2019. Proceedings
type: Item
instance of: scholarly article
title: Theory and applications of satisfiability testing -- SAT 2019. 22nd international conference, SAT 2019, Lisbon, Portugal, July 9--12, 2019. Proceedings
zbMATH Open document ID: 1428.68027
DOI: 10.1007/978-3-030-24258-9
published in: Lecture Notes in Computer Science
publication date: 2020-01-07T00:00:00Z
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 00B25
zbMATH DE Number: 7148198
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-030-24258-9
OpenAlex ID: W4244448683
description: scientific article