- Selective Memoization for Efficient Backtracking Regular Expression Matching
2026/06/25 by Martin Berglund, Brink van der Merwe, Iain le Roux · 1 voice
Computer Science · #Asynchronous communication #Automaton #Backtracking #Computation #Look-ahead #Machine Learning and Algorithms #Matching (statistics) #Memoization #Network Packet Processing and Optimization #Reachability #Set (abstract data type) #cs.FL #semigroups and automata theory
- Tree of Thoughts: Deliberate Problem Solving with Large Language Models
2023/05/17 by Shunyu Yao, Dian Yu, Yao, Shunyu +11 · 8 voices · 1190 citations
Computer Science · Mathematics · Psychology · #Action (physics) #Artificial intelligence #Backtracking #Code (set theory) #Cognitive science #Computer science #Computer security #Inference #Language model #Mathematics #Multimodal Machine Learning Applications #Natural Language Processing Techniques #Programming language #Psychology #Range (aeronautics) #Security token #Theoretical computer science #Topic Modeling #Tree (set theory)
- Priority inheritance with backtracking for iterative multi-agent path finding
2022/07/03 by Keisuke Okumura, Manao Machida, Xavier Défago +1 · 24 citations
Computer Science · Engineering · Mathematics · #Algorithm #Backtracking #Computation #Computer science #Graph #Mathematical optimization #Mathematics #Optimization and Search Problems #Path (computing) #Robotic Path Planning Algorithms #Robotics and Sensor-Based Localization #Scalability #Scheme (mathematics) #Set (abstract data type) #Simple (philosophy) #Theoretical computer science
- Spectral redemption in clustering sparse networks
2013/06/30 by Florent Krząkała, Florent Krzakala, Cristopher Moore +5 · 1 voice · 21 citations
Computer Science · Mathematics · Physics and Astronomy · #Adjacency matrix #Advanced Graph Neural Networks #Algorithm #Artificial intelligence #Backtracking #Cluster analysis #Complex Network Analysis Techniques #Computer science #Eigenvalues and eigenvectors #Graph #Limit (mathematics) #Mathematics #Operator (biology) #Opinion Dynamics and Social Influence #Spectral clustering #Spectrum (functional analysis) #Stochastic block model #Theoretical computer science #cond-mat.stat-mech #cs.SI #physics.soc-ph #stat.ML
- Circumspect descent prevails in solving random constraint satisfaction problems
2007/11/30 by Mikko J. Alava, Mikko Alava, John Ardelius +5 · 8 citations
Computer Science · Mathematics · Physics and Astronomy · #AI-based Problem Solving and Planning #Algorithm #Artificial intelligence #Backtracking #Computer science #Condensation #Constraint (computer-aided design) #Constraint Satisfaction and Optimization #Constraint satisfaction problem #Data Management and Algorithms #Energy (signal processing) #Local search (optimization) #Mathematical optimization #Mathematics #Maxima and minima #Physics #Satisfiability #Space (punctuation) #cond-mat.stat-mech #cs.AI #cs.DS
- Memoizing purely functional top-down backtracking language processors
1996/11/01 by Richard Frost, Richard A Frost, Barbara Szydlowski · 1 citation
Computer Science · #Backtracking #Computer science #Formal Methods in Verification #Functional programming #Logic, programming, and type systems #Network Packet Processing and Optimization #Parallel computing #Programming language
- How to replace failure by a list of successes a method for exception handling, backtracking, and pattern matching in lazy functional languages
1985/01/01 by Philip Wadler · 3 citations
Computer Science · Mathematics · #Advanced Software Engineering Methodologies #Backtracking #Computer science #Exception handling #Functional programming #Lazy evaluation #Logic, programming, and type systems #Matching (statistics) #Mathematics #Pattern matching #Programming language #Software Engineering Research #Term (time) #Theoretical computer science
- Depth-First Search and Linear Graph Algorithms
1972/06/01 by Robert Tarjan, Robert E. Tarjan · 234 citations
Computer Science · Mathematics · #Algorithm #Algorithms and Data Compression #Backtracking #Bounded function #Combinatorics #Complement graph #Depth-first search #Discrete mathematics #Graph #Graph Labeling and Dimension Problems #Graph Theory and Algorithms #Graph algorithms #Graph power #Line graph #Mathematics #Search algorithm