Author:
Hvidevold Eivind Magnus,Sharmin Sadia,Telle Jan Arne,Vatshelle Martin
Publisher
Springer Berlin Heidelberg
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A SAT Approach to Clique-Width;ACM Transactions on Computational Logic;2015-07-08
2. Solving MaxSAT and #SAT on Structured CNF Formulas;Lecture Notes in Computer Science;2014
3. Fast dynamic programming for locally checkable vertex subset and vertex partitioning problems;Theoretical Computer Science;2013-11
4. Fast Algorithm for Rank-Width;Mathematical and Engineering Methods in Computer Science;2013
5. A SAT Approach to Clique-Width;Theory and Applications of Satisfiability Testing – SAT 2013;2013