Funder
National Natural Science Foundation of China
Subject
Management Science and Operations Research,Modelling and Simulation,General Computer Science
Reference33 articles.
1. Local max-resolution in branch and bound solvers for max-sat;Abramé,2014
2. Improving configuration checking for satisfiable random k-sat instances;Abramé;Ann. Math. Artif. Intell.,2017
3. Wpm3: an (in) complete algorithm for weighted partial maxsat;Ansótegui;Artif. Intell.,2017
4. Exploiting subproblem optimization in sat-based maxsat algorithms;Ansótegui;J. Heuristics,2016
5. The community structure of sat formulas;Ansótegui,2012
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献