On simplification of formulas with unconstrained variables and quantifiers
type: Item
instance of: scholarly article
title: On simplification of formulas with unconstrained variables and quantifiers
zbMATH Open document ID: 1496.68369
DOI: 10.1007/978-3-319-66263-3_23
author: Martin Jonáš
author: Jan Strejček
publication date: 2017-11-15T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 6807237
MaRDI profile type: Publication
full work available at URL: 978-3-319-66263-3 23
OpenAlex ID: W2742322653
Recommended article: Simplification of quantifier-free formulae over ordered fields
Recommended article: Automated Reasoning with Analytic Tableaux and Related Methods
Recommended article: Formula Simplification for Real Quantifier Elimination Using Geometric Invariance
Recommended article: On simplifying truth-functional formulas
Recommended article: On simplicity of formulas
Recommended article: Quantifier simplification by unification in SMT
Recommended article: Q4234207
Recommended article: Simplifications of Uniform Expressions Specified by Systems
Recommended article: Q2754149
Recommended article: SAT-Based Formula Simplification
description: scientific article; zbMATH DE number 6807237