Now showing items 1-1 of 1

  • Backdoors in the Context of Learning 

    Dilkina, Bistra; Gomes, Carla P.; Sabharwal, Ashish (2009-04-09)
    The concept of backdoor variables has been introduced as a structural property of combinatorial problems that provides insight into the surprising ability of modern satisfiability (SAT) solvers to tackle extremely large ...