Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Roie Zivan
Asynchronous Forward-Checking for DisCSPs
Constraints
Combinatorics
Mathematics
Discrete Mathematics
Computational Theory
Artificial Intelligence
Software
Related publications
Nogood-Based Asynchronous Forward Checking Algorithms
Constraints
Combinatorics
Mathematics
Discrete Mathematics
Computational Theory
Artificial Intelligence
Software
Model-Checking Linear-Time Properties of Parametrized Asynchronous Shared-Memory Pushdown Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Controllable Self-Checking Checkers for Conditional Concurrent Checking
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Correction To: Enhanced Multiple-Point Statistical Simulation With Backtracking, Forward Checking and Conflict-Directed Backjumping
Mathematical Geosciences
Earth
Planetary Sciences
Mathematics
Equations for Asynchronous Message Passing
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Models for Asynchronous Message Handling
IEEE Concurrency
Checking Traces for Regulatory Conformance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Serialized Asynchronous Links for NoC
Runtime Checking for Program Verification
