Author:
Belova Tatiana,Bliznets Ivan
Funder
Russian Science Foundation
Subject
General Computer Science,Theoretical Computer Science
Reference25 articles.
1. Applications of MaxSAT in data analysis;Berg,2015
2. Applications of MaxSAT in automotive configuration;Walter,2013
3. Application of Max-SAT-based ATPG to optimal cancer therapy design;Lin;BMC Genomics,2012
4. A new algorithm for parameterized MAX-SAT;Bliznets,2012
5. Fixed-parameter tractability of satisfying beyond the number of variables;Crowston;Algorithmica,2014