The Cassowary Linear Arithmetic Constraint Solving Algorithm

ACM Transactions on Computer-Human Interaction - United States
doi 10.1145/504704.504705
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

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

1995English

A Simplex-Based Extension of Fourier-Motzkin for Solving Linear Integer Arithmetic

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Solving a Mixed Integer Linear Program Approximation of the Toll Design Problem Using Constraint Generation Within a Branch-And-Cut Algorithm

Transportmetrica A: Transport Science
EngineeringTransportation
2013English

An Approximate Algorithm for Solving the Problems of Linear Viscoelasticity

Computational Continuum Mechanics
2012English

Quantum Algorithm for Solving Linear Differential Equations: Theory and Experiment

Physical Review A
OpticsAtomicMolecular Physics,
2020English

Algorithm 29. Solving Systems of Linear Equations by Sokolov's Method

Applicationes Mathematicae
1974English

Linear Two-Sorted Arithmetic

English

Extensions and Applications of the Householder Algorithm for Solving Linear Least Squares Problems

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1969English

Strategy Switch Costs in Arithmetic Problem Solving

Memory and Cognition
ArtsNeuropsychologyCognitive PsychologyHumanitiesPhysiological PsychologyMedicineExperimental
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy