Amanote Research
Register
Sign In
Backtracking Iterators
doi 10.1145/1159876.1159885
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 2006
Authors
Jean-Christophe Filliâtre
Publisher
ACM Press
Related search
Dynamic Backtracking
Journal of Artificial Intelligence Research
Artificial Intelligence
Backtracking Counterfactuals Revisited
Mind
Philosophy
Backtracking-Based Load Balancing
ACM SIGPLAN Notices
Computer Science
Language Facilities for Programmable Backtracking
ACM SIGART Bulletin
Extending Iterators for Advanced Query Execution
A Single-Stack Implementation of Backtracking for Forth
SPIIRAS Proceedings
Control
Systems Engineering
Information Systems
Computer Networks
Applied Mathematics
Mathematics
Communications
Computer Science Applications
Computational Theory
Computational Mathematics
Artificial Intelligence
Design and Specification of Iterators Using the Swapping Paradigm
IEEE Transactions on Software Engineering
Software
Backtracking and Mixing Rate of Diffusion on Uncorrelated Temporal Networks
Entropy
Electronic Engineering
Information Systems
Mathematical Physics
Electrical
Astronomy
Physics
CDCL With Less Destructive Backtracking Through Partial Ordering
