Conference paper
Generating random solutions for constraint satisfaction problems
Rina Dechter, Kalev Kask, et al.
AAAI/IAAI 2002
Given an undirected graph G = (V, E) and vertices s,,tt; s2,t2, the problem is to determine whether or not G admits two vertex disjoint paths P, and P2 connecting s, with t, and s2 with t2, respectively. This problem is solved by an O(n.m) algorithm (n = IVJ, m = JElL An important by-product of the paper is a theorem stating that if G is 4-connected and nonplanar, then such paths P, and P2 exist for any choice of s,, s2, h, and t2 (as conjectured by Watkins). © 1980, ACM. All rights reserved.
Rina Dechter, Kalev Kask, et al.
AAAI/IAAI 2002
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
Cristina Cornelio, Judy Goldsmith, et al.
JAIR
Tushar Deepak Chandra, Sam Toueg
Journal of the ACM