Automata-based model counting for string constraints
type: Item
instance of: scholarly article
title: Automata-based model counting for string constraints
zbMATH Open document ID: 1496.68254
DOI: 10.1007/978-3-319-21690-4_15
author: Abdulbaki Aydin
author: Lucas Bang
author: Tevfik Bultan
publication date: 2018-03-01T00:00:00Z
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68W32
zbMATH DE Number: 6845662
MaRDI profile type: Publication
full work available at URL: 978-3-319-21690-4 15
OpenAlex ID: W1023119160
description: scientific article; zbMATH DE number 6845662