Quantifier Elimination for Linear Modular Constraints
type: Item
instance of: scholarly article
title: Quantifier Elimination for Linear Modular Constraints
zbMATH Open document ID: 1437.65252
DOI: 10.1007/978-3-662-44199-2_46
author: Ajith K. John
author: Supratik Chakraborty
published in: Mathematical Software – ICMS 2014
publication date: 2014-09-08T00:00:00Z
Mathematics Subject Classification ID: 65Y04
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 03C10
zbMATH DE Number: 6341327
zbMATH Keywords: quantifier elimination
zbMATH Keywords: linear modular arithmetic
MaRDI profile type: Publication
full work available at URL: 978-3-662-44199-2 46
OpenAlex ID: W2186879317
description: scientific article