Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Backdoor DNFs;Journal of Computer and System Sciences;2024-09
2. Computing optimal hypertree decompositions with SAT;Artificial Intelligence;2023-12
3. Recent Advances in Positive-Instance Driven Graph Searching;Algorithms;2022-01-27
4. Chapter 17. Fixed-Parameter Tractability;Frontiers in Artificial Intelligence and Applications;2021-02-02
5. Satune: synthesizing efficient SAT encoders;Proceedings of the ACM on Programming Languages;2020-11-13