<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.0 20120330//EN" "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">INFORMATICA</journal-id>
<journal-title-group><journal-title>Informatica</journal-title></journal-title-group>
<issn pub-type="epub">0868-4952</issn><issn pub-type="ppub">0868-4952</issn>
<publisher>
<publisher-name>VU</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="publisher-id">INFO1093</article-id><article-id pub-id-type="doi">10.15388/Informatica.2016.95</article-id>
<article-categories><subj-group subj-group-type="heading">
<subject>Research Article</subject></subj-group></article-categories>
<title-group>
<article-title>Improved Infra-Chromatic Bound for Exact Maximum Clique Search</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="Author">
<name><surname>San Segundo</surname><given-names>Pablo</given-names></name><email xlink:href="mailto:pablo.sansegundo@upm.es">pablo.sansegundo@upm.es</email><xref ref-type="aff" rid="j_INFORMATICA_aff_000"/><xref ref-type="corresp" rid="cor1">*</xref>
</contrib>
<contrib contrib-type="Author">
<name><surname>Nikolaev</surname><given-names>Alexey</given-names></name><xref ref-type="aff" rid="j_INFORMATICA_aff_001"/>
</contrib>
<contrib contrib-type="Author">
<name><surname>Batsyn</surname><given-names>Mikhail</given-names></name><xref ref-type="aff" rid="j_INFORMATICA_aff_001"/>
</contrib>
<contrib contrib-type="Author">
<name><surname>Pardalos</surname><given-names>Panos M.</given-names></name><xref ref-type="aff" rid="j_INFORMATICA_aff_001"/><xref ref-type="aff" rid="j_INFORMATICA_aff_002"/>
</contrib>
<aff id="j_INFORMATICA_aff_000">Center for Automation and Robotics and Polytechnic, University of Madrid, C/Jose Gutiérrez Abascal, 2, 2006 Madrid, Spain</aff>
<aff id="j_INFORMATICA_aff_001">Laboratory of Algorithms and Technologies for Network Analysis, National Research University, Higher School of Economics, 136 Rodionova Street, Nizhny Novgorod, Russia</aff>
<aff id="j_INFORMATICA_aff_002">Center for Applied Optimization, University of Florida, 401 Weil Hall, P.O. Box 116595, Gainesville, FL 32611-6595, USA</aff>
</contrib-group>
<author-notes>
<corresp id="cor1"><label>*</label>Corresponding author.</corresp>
</author-notes>
<pub-date pub-type="epub"><day>01</day><month>01</month><year>2016</year></pub-date><volume>27</volume><issue>2</issue><fpage>463</fpage><lpage>487</lpage><history><date date-type="received"><day>01</day><month>12</month> <year>2015</year></date><date date-type="accepted"><day>01</day><month>04</month> <year>2016</year></date></history>
<permissions><copyright-statement>Vilnius University</copyright-statement><copyright-year>2016</copyright-year></permissions>
<abstract>
<p>This paper improves an infra-chromatic bound which is used by the exact branch-and-bound maximum clique solver BBMCX (San Segundo et al., 2015) as an upper bound on the clique number for every subproblem. The infra-chromatic bound looks for triplets of colour subsets which cannot contain a 3-clique. As a result, it is tighter than the bound obtained by widely used approximate-colouring algorithms because it can be lower than the chromatic number. The reported results show that our algorithm with the new bound significantly outperforms the state-of-the-art algorithms in a number of structured and uniform random graphs.</p>
</abstract>
<kwd-group>
<label>Keywords</label>
<kwd>maximum clique</kwd>
<kwd>approximate-colouring</kwd>
<kwd>branch-and-bound</kwd>
<kwd>combinatorial optimization</kwd>
<kwd>exact search</kwd>
<kwd>maximum satisfiability</kwd>
</kwd-group>
</article-meta>
</front>
</article>
