Solving Finite-Domain Linear Constraints in Presence of the Alldifferent

Logical Methods in Computer Science - Germany
doi 10.2168/lmcs-12(3:5)2016
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Logical Methods in Computer Science e.V.

Related search

Entailment of Finite Domain Constraints

1994English

Solving Sparse Linear Equations Over Finite Fields

IEEE Transactions on Information Theory
Computer Science ApplicationsInformation SystemsLibraryInformation Sciences
1986English

Compiling and Executing Disjunctions of Finite Domain Constraints

1995English

Behavior of Linear Beam-Plasma Instabilities in the Presence of Finite Amplitude Circularly Polarized Waves

Brazilian Journal of Physics
AstronomyPhysics
2004English

Implementation of Error Control for Solving Plane Problems in Linear Elasticity by Mixed Finite Elements

Computational Continuum Mechanics
2014English

Time Domain Analysis of One-Dimensional Linear and Non-Linear Composite Right/Left-Handed Transmission Lines Using Finite-Difference Time-Domain Method

IET Microwaves, Antennas and Propagation
Electronic EngineeringElectrical
2012English

Domain-Creating Constraints

Cognitive Science
Cognitive PsychologyExperimentalArtificial IntelligenceCognitive Neuroscience
2010English

The Tactical Use of Constraints and Structure in Diagnostic Problem Solving

Omega
Management ScienceInformation SystemsManagementOperations ResearchStrategy
2011English

Persistent Errors in Solving Linear Programming

2020English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy