Nogood-Based Asynchronous Forward Checking Algorithms

Constraints - Netherlands
doi 10.1007/s10601-013-9144-4
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Asynchronous Forward-Checking for DisCSPs

Constraints
CombinatoricsMathematicsDiscrete MathematicsComputational TheoryArtificial IntelligenceSoftware
2007English

Asynchronous Analysis of Parallel Dynamic Programming Algorithms

IEEE Transactions on Parallel and Distributed Systems
HardwareComputational TheorySignal ProcessingArchitectureMathematics
1996English

Phase Transition Between Synchronous and Asynchronous Updating Algorithms

Journal of Statistical Physics
Nonlinear PhysicsMathematical PhysicsStatistical
2007English

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

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Asynchronous Text-Based Community

English

Moving Forward: A Non-Search Based Synthesis Method Toward Efficient CNOT-based Quantum Circuit Synthesis Algorithms

2008English

A New Class of Asynchronous Iterative Algorithms With Order Intervals

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1998English

Average Consensus-Based Asynchronous Tracking

2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy