Export Citations
1 Results for: Keyword: 03B05c
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,482,418 records)|Limit your search to The ACM Full-Text Collection (691,749 records)
Showing 1 - 1of1 Results
Select All
- articleApril 2014
Tradeoffs in the complexity of backdoors to satisfiability: dynamic sub-solvers and learning during search
Annals of Mathematics and Artificial Intelligence (KLU-AMAI), Volume 70, Issue 4April 2014, pp 399–431https://doi.org/10.1007/s10472-014-9407-9There has been considerable interest in the identification of structural properties of combinatorial problems that lead to efficient algorithms for solving them. Some forms of structure, such as properties of the underlying constraint graph, are "easily"...
