Asynchronous Forward-Checking for DisCSPs

Constraints - Netherlands
doi 10.1007/s10601-006-9013-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Nogood-Based Asynchronous Forward Checking Algorithms

Constraints
CombinatoricsMathematicsDiscrete MathematicsComputational TheoryArtificial IntelligenceSoftware
2013English

Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Controllable Self-Checking Checkers for Conditional Concurrent Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
1995English

Correction To: Enhanced Multiple-Point Statistical Simulation With Backtracking, Forward Checking and Conflict-Directed Backjumping

Mathematical Geosciences
EarthPlanetary SciencesMathematics
2018English

Equations for Asynchronous Message Passing

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2013English

Models for Asynchronous Message Handling

IEEE Concurrency
1997English

Checking Traces for Regulatory Conformance

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Serialized Asynchronous Links for NoC

2008English

Runtime Checking for Program Verification

English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy