3-connected Planar Graph Isomorphism is in Log-space
3-SAT Faster and Simpler - Unique-SAT Bounds for PPSZ Hold in General
3-SAT Polynomial Solution of Knowledge Recognition Algorithm
3-Way Composition of Weighted Finite-State Transducers
Canada
World
United States