Cardinality Encodings for Graph Optimization Problems

Alexey Ignatiev, Antonio Morgado, Joao Marques-Silva
<span title="">2017</span> <i title="International Joint Conferences on Artificial Intelligence Organization"> <a target="_blank" rel="noopener" href="" style="color: black;">Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence</a> </i> &nbsp;
Different optimization problems defined on graphs find application in complex network analysis. Existing propositional encodings render impractical the use of propositional satisfiability (SAT) and maximum satisfiability (MaxSAT) solvers for solving a variety of these problems on large graphs. This paper has two main contributions. First, the paper identifies sources of inefficiency in existing encodings for different optimization problems in graphs. Second, for the concrete case of the maximum
more &raquo; ... clique problem, the paper develops a novel encoding which is shown to be far more compact than existing encodings for large sparse graphs. More importantly, the experimental results show that the proposed encoding enables existing SAT solvers to compute a maximum clique for large sparse networks, often more efficiently than the state of the art.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.24963/ijcai.2017/91</a> <a target="_blank" rel="external noopener" href="">dblp:conf/ijcai/IgnatievMM17</a> <a target="_blank" rel="external noopener" href="">fatcat:lqn5v4tw2ne6jmvonj54xs54ma</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / </button> </a>