%0 Journal Article %1 journals/amai/DilkinaGS14 %A Dilkina, Bistra %A Gomes, Carla P. %A Sabharwal, Ashish %D 2014 %J Ann. Math. Artif. Intell. %K dblp %N 4 %P 399-431 %T Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search. %U http://dblp.uni-trier.de/db/journals/amai/amai70.html#DilkinaGS14 %V 70

@article{journals/amai/DilkinaGS14, added-at = {2019-07-24T00:00:00.000+0200}, author = {Dilkina, Bistra and Gomes, Carla P. and Sabharwal, Ashish}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24ba927f8243c0835c3871e7c360aed58/dblp}, ee = {https://doi.org/10.1007/s10472-014-9407-9}, interhash = {1bf1937533f3d25328617487866efb8f}, intrahash = {4ba927f8243c0835c3871e7c360aed58}, journal = {Ann. Math. Artif. Intell.}, keywords = {dblp}, number = 4, pages = {399-431}, timestamp = {2019-09-27T07:36:56.000+0200}, title = {Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search.}, url = {http://dblp.uni-trier.de/db/journals/amai/amai70.html#DilkinaGS14}, volume = 70, year = 2014 }