CASCADING RANDOM WALKS
From MaRDI portal
Publication:5462126
DOI10.1142/S0129054105003182zbMath1097.68147MaRDI QIDQ5462126
K. Subramani and Vahan Mkrtchyan
Publication date: 1 August 2005
Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/s0129054105003182
Related Items
Absorbing random walks and the NAE2SAT problem, Random walks for selected Boolean implication and equivalence problems, On memoryless provers and insincere verifiers
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Solving satisfiability in less than \(2^ n\) steps
- A linear-time algorithm for testing the truth of certain quantified Boolean formulas
- A simpler minimum spanning tree verification algorithm
- New methods for 3-SAT decision and worst-case analysis
- A theory of the learnable
- On the Complexity of Timetable and Multicommodity Flow Problems
- A randomized linear-time algorithm to find minimum spanning trees
- On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries