Author:
Niedermeier Rolf,Rossmanith Peter
Publisher
Springer Berlin Heidelberg
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Refined Branching Algorithm for the Maximum Satisfiability Problem;Algorithmica;2022-02-09
2. Parameterized algorithms of fundamental NP-hard problems: a survey;Human-centric Computing and Information Sciences;2020-07-02
3. Fuzzy Maximum Satisfiability;Proceedings of the 10th International Conference on Informatics and Systems - INFOS '16;2016
4. A New Algorithm for Parameterized MAX-SAT;Parameterized and Exact Computation;2012
5. New upper bounds for the problem of maximal satisfiability;Discrete Mathematics and Applications;2009-01