Login / Signup

The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies.

Parikshit GopalanPhokion G. KolaitisElitza N. ManevaChristos H. Papadimitriou
Published in: ICALP (1) (2006)
Keyphrases