Constraint Solving by Narrowing in Combined Algebraic Domains

doi 10.7551/mitpress/4316.003.0060
Full Text
Abstract

Available in full text

Date
Authors

Unknown

Publisher

The MIT Press

Related search

Combining Symbolic Constraint Solvers on Algebraic Domains

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1994English

Algebraic Approach to Promise Constraint Satisfaction

2019English

Robust Constraint Solving Using Multiple Heuristics

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Executing Specifications Using Synthesis and Constraint Solving

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Cassowary Linear Arithmetic Constraint Solving Algorithm

ACM Transactions on Computer-Human Interaction
Human-Computer Interaction
2001English

Solving Bilevel Problems With Polyhedral Constraint Set

Journal of Applied and Numerical Optimization
2019English

Assessing Algebraic Solving Ability: A Theoretical Framework

International Education Studies
2012English

An Interval Constraint System for Lattice Domains

ACM Transactions on Programming Languages and Systems
Software
2004English

Constraint Solving for Direct Manipulation of Features

Artificial Intelligence for Engineering Design, Analysis and Manufacturing: AIEDAM
IndustrialArtificial IntelligenceManufacturing Engineering
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy