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 ...