Equality detection for linear arithmetic constraints
type: Item
instance of: scholarly article
title: Equality detection for linear arithmetic constraints
zbMATH Open document ID: 1237.91075
author: Li Li
author: Kai-Duo He
author: Ming Gu
author: Xiaoyu Song
published in: Journal of Zhejiang University. Science A
publication date: 2011-02-02T00:00:00Z
Mathematics Subject Classification ID: 91B06
Mathematics Subject Classification ID: 90C05
zbMATH DE Number: 5844144
zbMATH Keywords: model checking
zbMATH Keywords: satisfiability modulo theories (SMT)
zbMATH Keywords: linear arithmetic
describes a project that uses: CVC Lite
describes a project that uses: MathSAT
describes a project that uses: LPbook
describes a project that uses: SIMPLIFY
describes a project that uses: CVC
describes a project that uses: FOCI
MaRDI profile type: Publication
cites work: Computer Aided Verification
cites work: Tools and Algorithms for the Construction and Analysis of Systems
cites work: Q3323698
cites work: Fourier-Motzkin elimination and its dual
cites work: Simplify: a theorem prover for program checking
cites work: Q4553256
cites work: Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
cites work: A canonical form for generalized linear constraints
cites work: An interpolating theorem prover
cites work: Theory and Applications of Satisfiability Testing
cites work: Incremental Linear Constraint Solving and Detection of Implicit Equalities
cites work: Q4804919
cites work: Linear programming. Foundations and extensions
cites work: Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination
DOI: 10.1631/JZUS.A0820812
Recommended article: Quantified Equality Constraints
Recommended article: Incremental Linear Constraint Solving and Detection of Implicit Equalities
Recommended article: Q4494381
Recommended article: Logic Programming
Recommended article: Equality in linear logic
Recommended article: Q4649542
Recommended article: Q5445485
Recommended article: Identification of unidentified equality constraints for integer programming problems
Recommended article: Criteria for Linear Equivalence
description: scientific article; zbMATH DE number 5844144