Publisher
Society for Industrial & Applied Mathematics (SIAM)
Subject
General Mathematics,General Computer Science
Cited by
32 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Self-Improvement for Circuit-Analysis Problems;Proceedings of the 56th Annual ACM Symposium on Theory of Computing;2024-06-10
2. Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic;SIAM Journal on Computing;2018-01
3. Efficient synthesis of feature models;Information and Software Technology;2014-09
4. Parameterized complexity of three edge contraction problems with degree constraints;Acta Informatica;2014-08-03
5. Achieving new upper bounds for the hypergraph duality problem through logic;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14