Sciweavers

108
Voted
SAT
2009
Springer
119views Hardware» more  SAT 2009»
15 years 10 months ago
Backdoors in the Context of Learning
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...
Bistra N. Dilkina, Carla P. Gomes, Ashish Sabharwa...