vix.ing · top · new · best · stats · spec

Chris Calabro

  1. The complexity of Unique k-SAT: An Isolation Lemma for k-CNFs
    2007/06/14 by Chris Calabro, Russell Impagliazzo, Valentine Kabanets +1 · 5 citations
    Computer Science · #Constraint Satisfaction and Optimization #semigroups and automata theory #Logic, Reasoning, and Knowledge