An Interval Constraint System for Lattice Domains

ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/963778.963779
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Constraint-Directed Search for All-Interval Series

Constraints
CombinatoricsMathematicsDiscrete MathematicsComputational TheoryArtificial IntelligenceSoftware
2016English

Interval-Valued Soft Constraint Problems

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2010English

Comparison of Interval Constraint Propagation Algorithms for Vehicle Localization

Journal of Software Engineering and Applications
2012English

Interval Linear Constraint Solving Using the Preconditioned Interval Gauss-Seidel Method

1995English

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Primitive Lattice Points in Planar Domains

Acta Arithmetica
Number TheoryAlgebra
2010English

Constraint Solving by Narrowing in Combined Algebraic Domains

1994English

An Earning-Based Time-Constraint Assurance Technique for Distributed Publish/Subscribe System

Ruan Jian Xue Bao/Journal of Software
Software
2008English

Asymptotic Boundary Forms for Tight Gabor Frames and Lattice Localization Domains

Journal of Applied Mathematics and Physics
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy