Document Zbl 07996673

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Zbl 07996673 - zbMATH Open</title> <meta name="viewport" content="width=device-width, minimum-scale=0.1, maximum-scale=5.0"> <meta name="robots" content="noarchive, noindex"> <meta name="referrer" content="origin-when-cross-origin"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap/v3.3.7/css/bootstrap-theme.min.css" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.css" rel="stylesheet" media="screen,print"> <link rel="stylesheet" href="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/css/bootstrap-select.min.css"> <link href="/static/css/smoothness/jquery-ui-1.10.1.custom.min.css" rel="stylesheet" media="screen"> <link href="/static/styles.css?v=20241024" rel="stylesheet" media="screen,print"> <link href="https://static.zbmath.org/zbMathJax/v0.1.38/zbmathjax.css" rel="stylesheet" media="screen,print"> <link rel="shortcut icon" href="/static/zbmath.ico"> <script type="application/ld+json"> { "@context": "http://schema.org", "@type": "Organization", "url": "https://zbmath.org/", "logo": "https://zbmath.org/static/zbMATH.png" } </script> </head> <body> <div id="line"></div> <span id="clear" style="cursor: pointer;">×</span> <div id="page"> <div id="head"> <nav id="menu" class="navbar navbar-default"> <div class="container-fluid"> <div class="navbar-header"> <button type="button" class="navbar-toggle collapsed" data-toggle="collapse" data-target="#zbnav" aria-expanded="false"> <span class="sr-only">Toggle navigation</span> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand" href="#"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open logo"> </a> </div> <div id="zbnav" class="collapse navbar-collapse"> <ul class="nav navbar-nav pages"> <li class="about"> <a href="/about/">About</a> </li> <li class="frequently-asked-questions"> <a href="/frequently-asked-questions/">FAQ</a> </li> <li class="general-help"> <a href="/general-help/">General Help</a> </li> <li class="reviewer-service"> <a href="https://zbmath.org/reviewer-service/" target="_self" >Reviewer Service</a> </li> <li> <a href="/tools-and-resources/">Tools & Resources</a> </li> <li class="contact"> <a href="/contact/">Contact</a> </li> </ul> <ul class="nav navbar-nav navbar-right prefs"> <li class="preferences dropdown"> <a data-toggle="dropdown" href="#">Preferences <i class="caret"></i></a> <ul class="dropdown-menu preferences"> <li> <form id="preferences" class="navbar-form" method="post" action="/preferences/" onsubmit="return confirm('This website uses cookies for the purposes of storing preference information on your device. Do you agree to this?\n\nPlease refer to our Privacy Policy to learn more about our use of cookies.')" > <input type="hidden" name="path" value="/7996673?"> <span class=""> <label class="title">Search Form</label> <div class="form-group"> <input id="search-multi-line" type="radio" name="search" value="multi-line" checked> <label for="search-multi-line" class="radio">Multi-Line Search (default)</label> </div> <div class="form-group"> <input id="search-one-line" type="radio" name="search" value="one-line"> <label for="search-one-line" class="radio">One-Line Search</label> </div> </span> <span class="count"> <label class="title">Hits per Page</label> <div class="form-group"> <input id="count-10" type="radio" name="count" value="10"> <label for="count-10" class="radio">10</label> </div> <div class="form-group"> <input id="count-20" type="radio" name="count" value="20"> <label for="count-20" class="radio">20</label> </div> <div class="form-group"> <input id="count-50" type="radio" name="count" value="50"> <label for="count-50" class="radio">50</label> </div> <div class="form-group"> <input id="count-100" type="radio" name="count" value="100" checked> <label for="count-100" class="radio">100 (default)</label> </div> <div class="form-group"> <input id="count-200" type="radio" name="count" value="200"> <label for="count-200" class="radio">200</label> </div> </span> <span class="format"> <label class="title">Display Format</label> <div class="form-group"> <input id="format-mathjax" type="radio" name="format" value="mathjax" checked> <label for="format-mathjax" class="radio">MathJax (default)</label> </div> <div class="form-group"> <input id="format-amstex" type="radio" name="format" value="latex"> <label for="format-amstex" class="radio">LaTeX</label> </div> </span> <span class="ranking"> <label class="title">Documents Sorting</label> <div class="form-group"> <input id="documents-ranking-default" type="radio" name="documents_ranking" value="date" checked> <label for="documents-ranking-default" class="radio">Newest first (default)</label> </div> <div class="form-group"> <input id="documents-ranking-references" type="radio" name="documents_ranking" value="references"> <label for="documents-ranking-references" class="radio">Citations</label> </div> <div class="form-group"> <input id="documents-ranking-relevance" type="radio" name="documents_ranking" value="relevance"> <label for="documents-ranking-relevance" class="radio">Relevance</label> </div> </span> <span class="ranking"> <label class="title">Authors Sorting</label> <div class="form-group"> <input id="authors-ranking-default" type="radio" name="authors_ranking" value="alpha" checked> <label for="authors-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="authors-ranking-references" type="radio" name="authors_ranking" value="references"> <label for="authors-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Serials Sorting</label> <div class="form-group"> <input id="serials-ranking-default" type="radio" name="serials_ranking" value="alpha" checked> <label for="serials-ranking-default" class="radio">Alphabetically (default)</label> </div> <div class="form-group"> <input id="serials-ranking-references" type="radio" name="serials_ranking" value="references"> <label for="serials-ranking-references" class="radio">Citations</label> </div> </span> <span class="ranking"> <label class="title">Software Sorting</label> <div class="form-group"> <input id="software-ranking-default" type="radio" name="software_ranking" value="references" checked> <label for="software-ranking-default" class="radio">Citations (default)</label> </div> <div class="form-group"> <input id="software-ranking-alpha" type="radio" name="software_ranking" value="alpha"> <label for="software-ranking-alpha" class="radio">Alphabetically</label> </div> </span> <button type="submit" class="btn btn-default">OK</button> <div class="clearfix"> </form> </li> </ul> </li> </ul> </div> </div> </nav> <div id="tabs"> <h1 class="logo"> <a class="logo" href="/"> <img class="logo" src="/static/zbmath.gif" alt="zbMATH Open — the first resource for mathematics" > </a> </h1> <nav> <ul class="nav nav-tabs"> <li class="tab-documents active"> <a href="/">Documents</a> </li> <li class="tab-authors"> <a href="/authors/">Authors</a> </li> <li class="tab-serials"> <a href="/serials/">Serials</a> </li> <li class="tab-software"> <a href="/software/">Software</a> </li> <li class="tab-classification"> <a href="/classification/">Classification</a> </li> <li class="tab-formulae"> <a href="/formulae/">Formulæ</a> </li> </ul> </nav> <div class="clearfix"></div> </div> <div class="content-fixed"> <div class="content-formular"> <div style="display: none;"> <div class="row ml-0"id="multi-line-new-line" style="display: none;"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-0-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-0-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input"> <span class="multi-line-value" id="multi-line-type-range"><span style="padding-left: 5px;">from</span> <input name="ml-0-v1" class="form-control multi-line-input" type="text" value="" aria-label="value"> until <input name="ml-0-v2" class="form-control multi-line-input" type="text" value="" aria-label="value"></span> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-la" placeholder="use name or ISO code"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-rv" placeholder="enter name or zbMATH reviewer number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-an" placeholder="Zbl, JFM or ERAM number"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-en" placeholder="e.g. DOI, ISBN, arXiv ID"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-sw" placeholder="use * to find all documents using software"> <input name="ml-0-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value" id="multi-line-type-input-br" placeholder="find documents about the life or work of a person"> <span class="multi-line-value" id="multi-line-type-multiselect-db"> <select class="multi-line-selectpicker" data-width="100%" multiple> <option value="zbl">Zbl</option> <option value="arxiv">arXiv</option> <option value="jfm">JFM</option> <option value="eram">ERAM</option> </select> <input type="hidden" class="multi-line-input" name="ml-0-v" value=""> </span> </div> <form name="documents" method="GET" action="/" autocomplete="off"> <div class="documents multi-line" style="display: none;"> <div class="forms"> <ul class="nav forms"> <li class="one-line"> <span tabindex="0" class="glyphicon glyphicon-question-sign" title="One-Line Search allows for free logical combinations of search fields" aria-label="One-Line Search allows for free logical combinations of search fields" data-placement="bottom"></span> <a style="display: inline-block;" href="#">One-Line Search <span class="glyphicon glyphicon-search"></span></a> </li> </ul> </div> <div class="clearfix"></div> <div class="container-fluid"> <input type="hidden" id="multi-line-ml" name="ml" value="3"> <div id="multi-line-row-wrapper"> <div class="row ml-1"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-1-f" aria-label="field"> <option data-type="input" value="any" selected>Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-1-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-1-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-2"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-2-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au" selected>Authors</option> <option data-type="input" value="ti">Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-2-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><select class="form-control multi-line-operators multi-line-selectpicker" name="ml-2-op" aria-label="operator"> <option value="and" selected>AND</option> <option value="andnot">AND NOT</option> <option value="or">OR</option> </select></div> </div> <div class="row ml-3"> <div class="col-xs-12 form-inline multi-line"> <select class="form-control multi-line-field multi-line-selectpicker" name="ml-3-f" aria-label="field"> <option data-type="input" value="any">Anywhere</option> <option data-type="input" value="au">Authors</option> <option data-type="input" value="ti" selected>Title</option> <option data-type="input" value="py">Year</option> <option data-type="range" value="pyr">Year Range</option> <option data-type="input" value="cc">MSC</option> <option data-type="input" value="cc1">MSC Primary</option> <option data-type="input" value="so">Source / Journal</option> <option data-type="input" value="pu">Publisher</option> <option data-type="input" value="la">Language</option> <option data-type="input" value="ab">Summary / Review</option> <option data-type="input" value="rv">Reviewer</option> <option data-type="input" value="an">zbMATH ID</option> <option data-type="input" value="en">External ID</option> <option data-type="input" value="ut">Keywords</option> <option data-type="input" value="sw">Software</option> <option data-type="input" value="br">Biographic Ref</option> <option data-type="input" value="rft">Reference Text</option> <option data-type="multiselect-db" value="db">Database</option> <option data-divider="true"></option> <option data-function="remove-line" data-content='<span class="glyphicon glyphicon-minus" aria-hidden="true"></span> remove line' value="any">remove line</option> </select><input name="ml-3-v" class="form-control multi-line-value multi-line-input" type="text" value="" aria-label="value"><div id="multi-line-plus"> <a href="#"><span class="glyphicon glyphicon-plus" aria-hidden="true"></span> add line</a> </div></div> </div> </div> <div class="row"> <div class="col-xs-12 form-inline"> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-test" style="visibility: hidden; position: fixed;"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label title="search for Articles in Journals"> <input type="checkbox" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label title="search for arXiv Preprints"> <input type="checkbox" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> <div class="form-group field checkboxes-wrapper" id="checkboxes-wrapper-real"> <label>Document Type:</label> <div class="checkboxes"> <div class="slider"> <label for="dt-j" title="search for Articles in Journals"> <input type="checkbox" id="dt-j" name="dt" class="form-control" value="j" checked> <span tabindex="0"><small></small></span> Journal Articles </label> </div> <div class="slider"> <label for="dt-a" title="search for Articles in Conference Proceedings and Collected Volumes"> <input type="checkbox" id="dt-a" name="dt" class="form-control" value="a" checked> <span tabindex="0"><small></small></span> Collection Articles </label> </div> <div class="slider"> <label for="dt-b" title="search for Monographs, Proceedings, Dissertations etc."> <input type="checkbox" id="dt-b" name="dt" class="form-control" value="b" checked> <span tabindex="0"><small></small></span> Books </label> </div> <div class="slider"> <label for="dt-p" title="search for arXiv Preprints"> <input type="checkbox" id="dt-p" name="dt" class="form-control" value="p" checked> <span tabindex="0"><small></small></span> arXiv Preprints </label> </div> </div> </div> </div> </div> <div class="row"> <div class="col-xs-12 buttons"> <a tabindex="0" class="btn btn-default clear-all">Reset all <span class="glyphicon glyphicon-remove"></span></a> <div class="submit"> <button class="btn btn-default search" type="submit">Search <span class="glyphicon glyphicon-search"></span></button> </div> </div> </div> </div> </div> </form> <form class="form-inline" name="documents" method="GET" action="/"> <div class="documents one-line" style="display: block;"> <div class="forms"> <ul class="nav forms"> <li class="multi-line"><a href="#">New Multi-Line Search <span class="glyphicon glyphicon-list"></span></a></li> </ul> </div> <div id="search-row" class="input-group box"> <span> <div id="search-field"> <input class="query form-control" type="text" name="q" value="an:7996673" aria-label="Search for documents" placeholder="Search for documents" autocomplete="off"> </div> <div class="search-buttons input-group-btn"> <div class="btn-group"> <button class="btn btn-default search" type="submit"><span class="virtual">Search</span> <span class="glyphicon glyphicon-search" style="top: 2px;"></span></button> </div> </div> </span> <span> <div class="search-buttons input-group-btn"> <div class="btn-group"> <div class="btn-group fields"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Fields <i class="caret"></i></button> <ul id="fields" class="dropdown-menu pull-right"> <li><a href="#"><span class="token item">any:</span><span> </span>anywhere (default)</a></li> <li><a href="#"><span class="token item">ab:</span><span>  </span>review text</a></li> <li><a href="#"><span class="token item">an:</span><span>  </span>zbmath id</a></li> <li><a href="#"><span class="token item">any:</span><span>  </span>anywhere</a></li> <li><a href="#"><span class="token item">au:</span><span>  </span>contributor name</a></li> <li><a href="#"><span class="token item">br:</span><span>  </span>biographic reference name</a></li> <li><a href="#"><span class="token item">cc:</span><span>  </span>msc title</a></li> <li><a href="#"><span class="token item">dt:</span><span>  </span>document type</a></li> <li><a href="#"><span class="token item">doi:</span><span>  </span>doi</a></li> <li><a href="#"><span class="token item">en:</span><span>  </span>external id</a></li> <li><a href="#"><span class="token item">la:</span><span>  </span>language</a></li> <li><a href="#"><span class="token item">pu:</span><span>  </span>publisher</a></li> <li><a href="#"><span class="token item">py:</span><span>  </span>year</a></li> <li><a href="#"><span class="token item">rv:</span><span>  </span>reviewer name</a></li> <li><a href="#"><span class="token item">so:</span><span>  </span>source</a></li> <li><a href="#"><span class="token item">sw:</span><span>  </span>software name</a></li> <li><a href="#"><span class="token item">ti:</span><span>  </span>title</a></li> <li><a href="#"><span class="token item">ut:</span><span>  </span>keyword</a></li> </ul> </div> <div class="btn-group operators"> <button class="btn btn-default dropdown-toggle" data-toggle="dropdown">Operators <i class="caret"></i></button> <ul id="operators" class="dropdown-menu pull-right"> <li><a href="#"><span class="token">a <span class="item">&</span> b </span><span> </span>logical and (default)</a></li> <li><a href="#"><span class="token">a <span class="item">|</span> b </span><span> </span>logical or</a></li> <li><a href="#"><span class="token"><span class="item">!</span>ab   </span><span> </span>logical not</a></li> <li><a href="#"><span class="token">abc<span class="item">*</span>  </span><span> </span>right wildcard</a></li> <li><a href="#"><span class="token"><span class="item">"</span>ab c<span class="item">"</span></span><span> </span>phrase</a></li> <li><a href="#"><span class="token"><span class="item">(</span>ab c<span class="item">)</span></span><span> </span>parentheses</a></li> </ul> </div> </div> </div> <div class="special"> <ul class="nav help-button"> <li class="dropdown pull-right"> <a href="#">Help <i class="caret"></i></a> </li> </ul> </div> </span> </div> <div class="help"><h2>Examples</h2> <div id="help-terms" role="table"> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Geometry">Geometry</a></span> <span class="search-explanation" role="cell" role="cell">Search for the term <em>Geometry</em> in <strong>any</strong> field. Queries are <strong>case-independent</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Funct%2A">Funct*</a></span> <span class="search-explanation" role="cell"><strong>Wildcard</strong> queries are specified by <strong><u>*</u></strong> (e.g. <em>functions</em>, <em>functorial</em>, etc.). Otherwise the search is <strong>exact</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Topological+group%22">"Topological group"</a></span> <span class="search-explanation" role="cell"><strong>Phrases</strong> (multi-words) should be set in <u>"</u>straight quotation marks<u>"</u>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=au%3A+Bourbaki+%26+ti%3A+Algebra">au: Bourbaki & ti: Algebra</a></span> <span class="search-explanation" role="cell">Search for <strong><u>au</u>thor</strong> and <strong><u>ti</u>tle</strong>. The <strong>and-operator &</strong> is default and can be omitted.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Chebyshev+%7C+Tschebyscheff">Chebyshev | Tschebyscheff</a></span> <span class="search-explanation" role="cell">The <strong>or-operator |</strong> allows to search for <em>Chebyshev</em> or <em>Tschebyscheff</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=Quasi%2A+map%2A+py%3A+1989">Quasi* map* py: 1989</a></span> <span class="search-explanation" role="cell">The resulting documents have <strong><u>p</u>ublication <u>y</u>ear</strong> <em>1989</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=so%3A+Eur%2A+J%2A+Mat%2A+Soc%2A+cc%3A+14">so: Eur* J* Mat* Soc* cc: 14</a></span> <span class="search-explanation" role="cell">Search for publications in a particular <strong><u>so</u>urce</strong> with a <strong>Mathematics Subject <u>C</u>lassification <u>c</u>ode (<u>cc</u>)</strong> in <em>14</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=%22Partial+diff%2A+eq%2A%22+%21+elliptic">"Partial diff* eq*" ! elliptic</a></span> <span class="search-explanation" role="cell">The <strong>not</strong>-operator <strong>!</strong> eliminates all results containing the word <em>elliptic</em>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=dt%3A+b+%26+au%3A+Hilbert">dt: b & au: Hilbert</a></span> <span class="search-explanation" role="cell">The <strong><u>d</u>ocument <u>t</u>ype</strong> is set to books; alternatively: <u>j</u> for <strong>journal articles</strong>, <u>a</u> for <strong>book articles</strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=py%3A+2000-2015+cc%3A+%2894A+%7C+11T%29">py: 2000-2015 cc: (94A | 11T)</a></span> <span class="search-explanation" role="cell">Number <strong>ranges</strong> are accepted. Terms can be grouped within <strong><u>(</u>parentheses<u>)</u></strong>.</span> </div> <div class="help-item" role="row"> <span class="search-example" role="rowheader"><a href="/?q=la%3A+chinese">la: chinese</a></span> <span class="search-explanation" role="cell">Find documents in a given <strong><u>la</u>nguage</strong>. <a href="http://en.wikipedia.org/wiki/ISO_639-1">ISO 639-1</a> language codes can also be used.</span> </div> </div> <div id="help-fields"> <h2>Fields</h2> <table> <tr> <td class="nowrap padding" role="rowheader"><strong>any</strong></td> <td class="padding">anywhere</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>an</strong></td> <td class="padding">internal document identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>au</strong></td> <td class="padding">author, editor</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ai</strong></td> <td class="padding">internal author identifier</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ti</strong></td> <td class="padding">title</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>la</strong></td> <td class="padding">language</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>so</strong></td> <td class="padding">source</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ab</strong></td> <td class="padding">review, abstract</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>py</strong></td> <td class="padding">publication year</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>rv</strong></td> <td class="padding">reviewer</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>cc</strong></td> <td class="padding">MSC code</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>ut</strong></td> <td class="padding">uncontrolled term</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>dt</strong></td> <td class="padding" colspan="4">document type (<strong>j</strong>: journal article; <strong>b</strong>: book; <strong>a</strong>: book article)</td> </tr> </table> </div> <div id="help-operators"> <h2>Operators</h2> <table> <tr> <td class="nowrap padding" role="rowheader">a <strong>&</strong> b</td> <td class="padding">logic and</td> </tr> <tr> <td class="nowrap padding" role="rowheader">a <strong>|</strong> b</td> <td class="padding">logic or</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>!</strong>ab</td> <td class="padding">logic not</td> </tr> <tr> <td class="nowrap padding" role="rowheader">abc<strong>*</strong></td> <td class="padding">right wildcard</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>"</strong>ab c<strong>"</strong></td> <td class="padding">phrase</td> </tr> <tr> <td class="nowrap padding" role="rowheader"><strong>(</strong>ab c<strong>)</strong></td> <td class="padding">parentheses</td> </tr> </table> </div> <p> See also our <a href="/general-help/">General Help</a>. </p></div> </div> </form> <div class="clearfix"></div> </div> <div class="content-shadow"></div> </div> </div> <div id="body"> <div id="main"> <div class="messages"> </div> <div id="documents"> <div class="content-main"> <div class="content-item"><div class="item"> <article> <div class="author"><a href="/authors/attieh.saad" title="Author Profile">Attieh, Saad</a>; <a href="/authors/?q=ai%3Anguyen-hai-dang.%7Cdang.nguyen-viet%7Cdang.nguyen-thi%7Cdang.nguyen-bac" title="Author Profile">Dang, Nguyen</a>; <a href="/authors/jefferson.christopher" title="Author Profile">Jefferson, Christopher</a>; <a href="/authors/miguel.ian" title="Author Profile">Miguel, Ian</a>; <a href="/authors/nightingale.peter-w" title="Author Profile">Nightingale, Peter</a></div> <h2 class="title"> <strong><span class="zbmathjax-textsc">Athanor</span>: local search over abstract constraint specifications.</strong> <i>(English)</i> <a class="label nowrap" href="/7996673">Zbl 07996673</a> </h2> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A524806" title="Articles in this Issue">340, Article ID 104277, 39 p. (2025)</a>. </div> <div class="abstract">Summary: Local search is a common method for solving combinatorial optimisation problems. We focus on general-purpose local search solvers that accept as input a constraint model – a declarative description of a problem consisting of a set of decision variables under a set of constraints. Existing approaches typically take as input models written in solver-independent constraint modelling languages like MiniZinc. The <span class="zbmathjax-textsc">Athanor</span> solver we describe herein differs in that it begins from a specification of a problem in the abstract constraint specification language <span class="zbmathjax-textsc">Essence</span>, which allows problems to be described without commitment to low-level modelling decisions through its support for a rich set of abstract types. The advantage of proceeding from <span class="zbmathjax-textsc">Essence</span> is that the structure apparent in a concise, abstract specification of a problem can be exploited to generate high quality neighbourhoods automatically, avoiding the difficult task of identifying that structure in an equivalent constraint model. Based on the twin benefits of neighbourhoods derived from high level types and the scalability derived by searching directly over those types, our empirical results demonstrate strong performance in practice relative to existing solution methods.</div> <div class="clear"></div> <div class="classification"> <h3>MSC:</h3> <table><tr> <td> <a class="mono" href="/classification/?q=cc%3A68T20" title="MSC2020">68T20</a> </td> <td class="space"> Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) </td> </tr><tr> <td> <a class="mono" href="/classification/?q=cc%3A90C27" title="MSC2020">90C27</a> </td> <td class="space"> Combinatorial optimization </td> </tr></table> </div><div class="keywords"> <h3>Keywords:</h3><a href="/?q=ut%3Alocal+search">local search</a>; <a href="/?q=ut%3Acombinatorial+optimization">combinatorial optimization</a></div> <div class="software"> <h3>Software:</h3><a href="/software/27491">Essence</a>; <a href="/software/24724">CHUFFED</a>; <a href="/software/23883">BPPLIB</a>; <a href="/software/6261">MiniZinc</a></div>  <div class="modal fade" id="metadataModal" tabindex="-1" role="dialog" aria-labelledby="myModalLabel"> <div class="modal-dialog" role="document"> <div class="modal-content"> <div class="modal-header"> <button type="button" class="close" data-dismiss="modal" aria-label="Close"><span aria-hidden="true">×</span></button> <h4 class="modal-title" id="myModalLabel">Cite</h4> </div> <div class="modal-body"> <div class="form-group"> <label for="select-output" class="control-label">Format</label> <select id="select-output" class="form-control" aria-label="Select Metadata format"></select> </div> <div class="form-group"> <label for="metadataText" class="control-label">Result</label> <textarea class="form-control" id="metadataText" rows="10" style="min-width: 100%;max-width: 100%"></textarea> </div> <div id="metadata-alert" class="alert alert-danger" role="alert" style="display: none;">  </div> </div> <div class="modal-footer"> <button type="button" class="btn btn-primary" onclick="copyMetadata()">Copy to clipboard</button> <button type="button" class="btn btn-default" data-dismiss="modal">Close</button> </div> </div> </div> </div> <div class="functions clearfix"> <div class="function">  <a type="button" class="btn btn-default btn-xs pdf" data-toggle="modal" data-target="#metadataModal" data-itemtype="Zbl" data-itemname="Zbl 07996673" data-ciurl="/ci/07996673" data-biburl="/bibtex/07996673.bib" data-amsurl="/amsrefs/07996673.bib" data-xmlurl="/xml/07996673.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07996673.pdf" title="Zbl 07996673 as PDF">Review PDF</a> </div> <div class="fulltexts"> <span class="fulltext">Full Text:</span> <a class="btn btn-default btn-xs" type="button" href="https://doi.org/10.1016/j.artint.2024.104277" aria-label="DOI for “\textsc{Athanor}: local search over abstract constraint specifications”" title="10.1016/j.artint.2024.104277">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2410.05937"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> <div class="references"> <h3>References:</h3> <table><tr> <td>[1]</td> <td class="space">Hoos, H.; Stützle, T., Stochastic Local Search: Foundations & Applications, 2004, Elsevier</td> </tr><tr> <td>[2]</td> <td class="space">Fernandes, G. A.; de Souza, S. R., A matheuristic approach to the multi-mode resource constrained project scheduling problem, Comput. Ind. Eng., 162, Article 107592 pp., 2021</td> </tr><tr> <td>[3]</td> <td class="space">Arnold, F.; Sörensen, K., Knowledge-guided local search for the vehicle routing problem, Comput. Oper. Res., 105, 32-46, 2019 · <a href="/1458.90056" class="nowrap">Zbl 1458.90056</a></td> </tr><tr> <td>[4]</td> <td class="space">Ceschia, S.; Guido, R.; Schaerf, A., Solving the static INRC-II nurse rostering problem by simulated annealing based on large neighborhoods, Ann. Oper. Res., 288, 1, 95-113, 2020</td> </tr><tr> <td>[5]</td> <td class="space">Nethercote, N.; Stuckey, P. J.; Becket, R.; Brand, S.; Duck, G. J.; Tack, G., MiniZinc: towards a standard CP modelling language, (Proceedings of the International Conference on the Principles and Practice of Constraint Programming. Proceedings of the International Conference on the Principles and Practice of Constraint Programming, LNCS, vol. 4741, 2007, Springer), 529-543</td> </tr><tr> <td>[6]</td> <td class="space">Akgün, O.; Gent, I. P.; Jefferson, C.; Miguel, I.; Nightingale, P.; Salamon, A.; Spracklen, P., A framework for constraint based local search using Essence, (IJCAI, 2018), 1242-1248</td> </tr><tr> <td>[7]</td> <td class="space">Attieh, S.; Dang, N.; Jefferson, C.; Miguel, I.; Nightingale, P., Athanor: high-level local search over abstract constraint specifications in Essence, (Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI-19), 2019)</td> </tr><tr> <td>[8]</td> <td class="space">Frisch, A. M.; Grum, M.; Jefferson, C.; Hernández, B. M.; Miguel, I., The Essence of Essence, (Modelling and Reformulating Constraint Satisfaction Problems, 2005), 73-88</td> </tr><tr> <td>[9]</td> <td class="space">Frisch, A. M.; Grum, M.; Jefferson, C.; Hernández, B. M.; Miguel, I., The design of Essence: a constraint language for specifying combinatorial problems, (IJCAI, 2007), 80-87</td> </tr><tr> <td>[10]</td> <td class="space">Frisch, A. M.; Harvey, W.; Jefferson, C.; Martínez-Hernández, B.; Miguel, I., Essence: a constraint language for specifying combinatorial problems, Constraints, 13, 3, 268-306, 2008 · <a href="/1147.68424" class="nowrap">Zbl 1147.68424</a></td> </tr><tr> <td>[11]</td> <td class="space">Smith, B. M., Symmetry and search in a network design problem, (International Conference on Integration of Artificial Intelligence. International Conference on Integration of Artificial Intelligence, (AI) and Operations Research (OR) Techniques in Constraint Programming, 2005, Springer), 336-350 · <a href="/1133.68436" class="nowrap">Zbl 1133.68436</a></td> </tr><tr> <td>[12]</td> <td class="space">Sörensen, K.; Sevaux, M.; Schittekat, P., Multiple neighbourhood search in commercial VRP packages: evolving towards self-adaptive methods, (Adaptive and Multilevel Metaheuristics, 2008), 239-253</td> </tr><tr> <td>[13]</td> <td class="space">Akgün, O.; Frisch, A. M.; Gent, I. P.; Jefferson, C.; Miguel, I.; Nightingale, P., Conjure: automatic generation of constraint models from problem specifications, Artif. Intell., 310, Article 103751 pp., 2022 · <a href="/07570882" class="nowrap">Zbl 07570882</a></td> </tr><tr> <td>[14]</td> <td class="space">Michel, L.; Hentenryck, P. V., Localizer, Constraints, 5, 43-84, 2000 · <a href="/0988.90015" class="nowrap">Zbl 0988.90015</a></td> </tr><tr> <td>[15]</td> <td class="space">Voudouris, C.; Dorne, R.; Lesaint, D.; Liret, A., iOpt: a software toolkit for heuristic search methods, (Principles and Practice of Constraint Programming, 2001, Springer), 716-729 · <a href="/1067.68681" class="nowrap">Zbl 1067.68681</a></td> </tr><tr> <td>[16]</td> <td class="space">Hentenryck, P. V.; Michel, L., Constraint-Based Local Search, 2009, The MIT Press</td> </tr><tr> <td>[17]</td> <td class="space">Michel, L.; Van Hentenryck, P., Constraint-Based Local Search, 223-260, 2018</td> </tr><tr> <td>[18]</td> <td class="space">Van Hentenryck, P.; Michel, L., Synthesis of constraint-based local search algorithms from high-level models, (AAAI, 2007, AAAI Press), 273-278</td> </tr><tr> <td>[19]</td> <td class="space">Newton, M. H.; Pham, D. N.; Sattar, A.; Maher, M., Kangaroo: an efficient constraint-based local search system using lazy propagation, (Principles and Practice of Constraint Programming, 2011, Springer), 645-659</td> </tr><tr> <td>[20]</td> <td class="space">De Landtsheer, R.; Ponsard, C., OscaR.cbls: an open source framework for constraint-based local search, (Proceedings of ORBEL 27, 2013)</td> </tr><tr> <td>[21]</td> <td class="space">Björdal, G.; Monette, J.-N.; Flener, P.; Pearson, J., A constraint-based local search backend for MiniZinc, Constraints, 20, 3, 325-345, 2015 · <a href="/1325.90076" class="nowrap">Zbl 1325.90076</a></td> </tr><tr> <td>[22]</td> <td class="space">Björdal, G., From declarative models to local search, 2021, Acta Universitatis Upsaliensis, Ph.D. thesis</td> </tr><tr> <td>[23]</td> <td class="space">Björdal, G.; Flener, P.; Pearson, J.; Stuckey, P. J.; Tack, G., Declarative local-search neighbourhoods in MiniZinc, (Alamaniotis, M.; Lagniez, J.-M.; Lallouet, A., 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, IEEE Computer Society), 98-105</td> </tr><tr> <td>[24]</td> <td class="space">Benoist, T.; Estellon, B.; Gardi, F.; Megel, R.; Nouioua, K., Localsolver 1.x: a black-box local-search solver for 0-1 programming, 4OR, 9, 3, 299-316, 2011 · <a href="/1231.90318" class="nowrap">Zbl 1231.90318</a></td> </tr><tr> <td>[25]</td> <td class="space">Nightingale, P.; Akgün, O.; Gent, I. P.; Jefferson, C.; Miguel, I.; Spracklen, P., Automatically improving constraint models in Savile row, Artif. Intell., 251, 35-61, 2017 · <a href="/1419.68099" class="nowrap">Zbl 1419.68099</a></td> </tr><tr> <td>[26]</td> <td class="space">Gent, I. P.; Jefferson, C.; Miguel, I., Minion: a fast scalable constraint solver, (ECAI, vol. 141, 2006), 98-102</td> </tr><tr> <td>[27]</td> <td class="space">Pham, Q. D.; Deville, Y.; Van Hentenryck LS, P., (Graph): a constraint-based local search for constraint optimization on trees and paths, Constraints, 17, 357-408, 2012 · <a href="/1309.90089" class="nowrap">Zbl 1309.90089</a></td> </tr><tr> <td>[28]</td> <td class="space">Ågren, M.; Flener, P.; Pearson, J., Set variables and local search, (Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2005, Springer), 19-33 · <a href="/1133.68424" class="nowrap">Zbl 1133.68424</a></td> </tr><tr> <td>[29]</td> <td class="space">Björdal, G., String Variables for Constraint-Based Local Search, 2016</td> </tr><tr> <td>[30]</td> <td class="space">Shaw, P., Using constraint programming and local search methods to solve vehicle routing problems, (Proceedings of the International Conference on the Principles and Practice of Constraint Programming. Proceedings of the International Conference on the Principles and Practice of Constraint Programming, LNCS, vol. 1520, 1998, Springer), 417-431</td> </tr><tr> <td>[31]</td> <td class="space">Perron, L.; Shaw, P.; Furnon, V., Propagation guided large neighborhood search, (Proceedings of the International Conference on the Principles and Practice of Constraint Programming. Proceedings of the International Conference on the Principles and Practice of Constraint Programming, LNCS, vol. 3258, 2004, Springer), 468-481 · <a href="/1152.68572" class="nowrap">Zbl 1152.68572</a></td> </tr><tr> <td>[32]</td> <td class="space">Prud’homme, C.; Lorca, X.; Jussien, N., Explanation-based large neighborhood search, Constraints, 19, 4, 339-379, 2014 · <a href="/1316.90048" class="nowrap">Zbl 1316.90048</a></td> </tr><tr> <td>[33]</td> <td class="space">Michel, L.; Hentenryck, P. V., Constraint-Based Local Search, 223-260, 2018, Springer International Publishing: Springer International Publishing Cham</td> </tr><tr> <td>[34]</td> <td class="space">Frisch, A. M.; Stuckey, P. J., The proper treatment of undefinedness in constraint languages, (Proceedings of the International Conference on the Principles and Practice of Constraint Programming, 2009), 367-382</td> </tr><tr> <td>[35]</td> <td class="space">Lourenço, H. R.; Martin, O. C.; Stützle, T., Iterated local search: framework and applications, (Handbook of Metaheuristics, 2019, Springer), 129-168</td> </tr><tr> <td>[36]</td> <td class="space">Miguel, I.; Hnich, B.; Gent, I.; Walsh, I.; Jefferson, C.; Akgün, O., CSPLib: a problem library for constraints, available from, 2000</td> </tr><tr> <td>[37]</td> <td class="space">Berry, D. A.; Fristedt, B., Bandit Problems: Sequential Allocation of Experiments, Monographs on Statistics and Applied Probability, vol. 5 (71-87), 7, 1985, Chapman and Hall: Chapman and Hall London · <a href="/0659.62086" class="nowrap">Zbl 0659.62086</a></td> </tr><tr> <td>[38]</td> <td class="space">Agrawal, R., Sample mean based index policies by o (log n) regret for the multi-armed bandit problem, Adv. Appl. Probab., 27, 4, 1054-1078, 1995 · <a href="/0840.90129" class="nowrap">Zbl 0840.90129</a></td> </tr><tr> <td>[39]</td> <td class="space">Prud’homme, C.; Fages, J.-G., Choco-solver: a java library for constraint programming, J. Open Sour. Softw., 7, 78, 4708, 2022</td> </tr><tr> <td>[40]</td> <td class="space">Chu, G.; Stuckey, P.; Schutt, A.; Ehlers, T.; Gange, G.; Francis, K., Chuffed: a lazy clause generation solver</td> </tr><tr> <td>[41]</td> <td class="space">Trick, M. A., A dynamic programming approach for consistency and propagation for knapsack constraints, Ann. Oper. Res., 118, 1, 73-84, 2003 · <a href="/1027.90075" class="nowrap">Zbl 1027.90075</a></td> </tr><tr> <td>[42]</td> <td class="space">Shaw, P., A constraint for bin packing, (Proceedings of the International Conference on the Principles and Practice of Constraint Programming, 2004, Springer), 648-662 · <a href="/1152.68586" class="nowrap">Zbl 1152.68586</a></td> </tr><tr> <td>[43]</td> <td class="space">Régin, J.-C.; Rezgui, M., Discussion about constraint programming bin packing models, (Workshops at the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011)</td> </tr><tr> <td>[44]</td> <td class="space">Falkenauer, E., A hybrid grouping genetic algorithm for bin packing, J. Heuristics, 2, 5-30, 1996</td> </tr><tr> <td>[45]</td> <td class="space">Beasley, J. E., OR-Library: distributing test problems by electronic mail, J. Oper. Res. Soc., 41, 1069-1072, 1990</td> </tr><tr> <td>[46]</td> <td class="space">Flood, M. M., The traveling-salesman problem, Oper. Res., 4, 1, 61-75, 1956 · <a href="/1414.90304" class="nowrap">Zbl 1414.90304</a></td> </tr><tr> <td>[47]</td> <td class="space">Reinelt, G., TSPLIB95, 1995, Interdisziplinäres Zentrum für Wissenschaftliches Rechnen (IWR): Interdisziplinäres Zentrum für Wissenschaftliches Rechnen (IWR) Heidelberg, 338</td> </tr><tr> <td>[48]</td> <td class="space">Toth, P.; Vigo, D., The Vehicle Routing Problem, 2002, SIAM · <a href="/0979.00026" class="nowrap">Zbl 0979.00026</a></td> </tr><tr> <td>[49]</td> <td class="space">Mendoza, J. E.; Guéret, C.; Hoskins, M.; Lobit, H.; Pillac, V.; Vidal, T.; Vigo, D., VRP-REP: the vehicle routing community repository, (Third Meeting of the EURO Working Group on Vehicle Routing and Logistics Optimization (VeRoLog). Third Meeting of the EURO Working Group on Vehicle Routing and Logistics Optimization (VeRoLog), Oslo, Norway, 2014)</td> </tr><tr> <td>[50]</td> <td class="space">Pisinger, D., Where are the hard knapsack problems?, Comput. Oper. Res., 32, 9, 2271-2284, 2005 · <a href="/1116.90089" class="nowrap">Zbl 1116.90089</a></td> </tr><tr> <td>[51]</td> <td class="space">Papadimitriou, I.; Georgiadis, L., Minimum-energy broadcasting in multi-hop wireless networks using a single broadcast tree, Mob. Netw. Appl., 11, 361-375, 2006</td> </tr><tr> <td>[52]</td> <td class="space">Burke, D. A.; Brown, K. N., CSPLib problem 048: minimum energy broadcast (MEB)</td> </tr><tr> <td>[53]</td> <td class="space">López-Ibáñez, M.; Dubois-Lacoste, J.; Cáceres, L. P.; Birattari, M.; Stützle, T., The irace package: iterated racing for automatic algorithm configuration, Oper. Res. Perspect., 3, 43-58, 2016</td> </tr><tr> <td>[54]</td> <td class="space">Smith, B. M.; Brailsford, S. C.; Hubbard, P. M.; Williams, H. P., The progressive party problem: integer linear programming and constraint programming compared, Constraints, 1, 1, 119-138, 1996</td> </tr><tr> <td>[55]</td> <td class="space">Walsh, T., CSPLib problem 013: progressive party problem</td> </tr><tr> <td>[56]</td> <td class="space">Leo, K.; Mears, C.; Tack, G.; de la Banda, M. Garcia, Globalizing constraint models, Artif. Intell., 302, Article 103599 pp., 2022</td> </tr><tr> <td>[57]</td> <td class="space">Nightingale, P., CSPLib problem 056: synchronous optical networking (SONET) problem</td> </tr><tr> <td>[58]</td> <td class="space">Sherali, H. D.; Smith, J. C.; Lee, Y., Enhanced model representations for an intra-ring synchronous optical network design problem allowing demand splitting, INFORMS J. Comput., 12, 284-298, 2000 · <a href="/1238.90107" class="nowrap">Zbl 1238.90107</a></td> </tr><tr> <td>[59]</td> <td class="space">Roussel, O., Controlling a solver execution with the runsolver tool, J. Satisf. Boolean Model. Comput., 7, 4, 139-144, 2011 · <a href="/1331.68210" class="nowrap">Zbl 1331.68210</a></td> </tr><tr> <td>[60]</td> <td class="space">Croes, G. A., A method for solving traveling-salesman problems, Oper. Res., 6, 6, 791-812, 1958 · <a href="/1414.90303" class="nowrap">Zbl 1414.90303</a></td> </tr><tr> <td>[61]</td> <td class="space">De Landtsheer, R.; Guyot, Y.; Ospina, G.; Germeau, F.; Ponsard, C., Reasoning on sequences in constraint-based local search frameworks, (Proceedings of the 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018), 2018), 117-134 · <a href="/1508.68325" class="nowrap">Zbl 1508.68325</a></td> </tr><tr> <td>[62]</td> <td class="space">Schwerin, P.; Wäscher, G., The bin-packing problem: a problem generator and some numerical experiments with FFD packing and MTP, Int. Trans. Oper. Res., 4, 5-6, 377-389, 1997 · <a href="/0906.90151" class="nowrap">Zbl 0906.90151</a></td> </tr><tr> <td>[63]</td> <td class="space">Delorme, M.; Iori, M.; Martello, S., BPPLIB: a library for bin packing and cutting stock problems, Optim. Lett., 12, 235-250, 2018 · <a href="/1401.90183" class="nowrap">Zbl 1401.90183</a></td> </tr><tr> <td>[64]</td> <td class="space">Katriel, I.; Sellmann, M.; Upfal, E.; Van Hentenryck, P., Propagating knapsack constraints in sublinear time, (Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (AAAI-07), 2007)</td> </tr><tr> <td>[65]</td> <td class="space">Caseau, Y.; Laburthe, F., Solving small TSPs with constraints, (Logic Programming. Logic Programming, Leuven, Belgium. Logic Programming. Logic Programming, Leuven, Belgium, Proceedings of the Fourteenth International Conference on Logic Programming, July 8-11, 1997, 1997), 316-330</td> </tr><tr> <td>[66]</td> <td class="space">Mısır, M.; Verbeeck, K.; De Causmaecker, P.; Vanden Berghe, G., An intelligent hyper-heuristic framework for chesc 2011, (International Conference on Learning and Intelligent Optimization, 2012, Springer), 461-466</td> </tr><tr> <td>[67]</td> <td class="space">Kheiri, A.; Keedwell, E., A sequence-based selection hyper-heuristic utilising a hidden Markov model, (Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, 2015), 417-424</td> </tr><tr> <td>[68]</td> <td class="space">Yi, W.; Qu, R.; Jiao, L.; Niu, B., Automated design of metaheuristics using reinforcement learning within a novel general search framework, IEEE Trans. Evol. Comput., 2022</td> </tr><tr> <td>[69]</td> <td class="space">Speck, D.; Biedenkapp, A.; Hutter, F.; Mattmüller, R.; Lindauer, M., Learning heuristic selection with dynamic algorithm configuration, (Proceedings of the International Conference on Automated Planning and Scheduling, vol. 31, 2021), 597-605</td> </tr><tr> <td>[70]</td> <td class="space">Stützle, T.; López-Ibáñez, M., Automated design of metaheuristic algorithms, (Handbook of Metaheuristics, 2019), 541-579</td> </tr><tr> <td>[71]</td> <td class="space">Biedenkapp, A.; Bozkurt, H. F.; Eimer, T.; Hutter, F.; Lindauer, M., Dynamic algorithm configuration: foundation of a new meta-algorithmic framework, (ECAI 2020, 2020, IOS Press), 427-434</td> </tr><tr> <td>[72]</td> <td class="space">Adriaensen, S.; Biedenkapp, A.; Shala, G.; Awad, N.; Eimer, T.; Lindauer, M.; Hutter, F., Automated dynamic algorithm configuration, J. Artif. Intell. Res., 75, 1633-1699, 2022 · <a href="/1543.68428" class="nowrap">Zbl 1543.68428</a></td> </tr><tr> <td>[73]</td> <td class="space">Preneel, B., Hash Functions, 543-553, 2011, Springer US: Springer US Boston, MA</td> </tr><tr> <td>[74]</td> <td class="space">Appleby, A., Murmurhash3, 2016, available from</td> </tr><tr> <td>[75]</td> <td class="space">Clarke, D.; Devadas, S.; van Dijk, M.; Gassend, B.; Suh, G. E., Incremental multiset hash functions and their application to memory integrity checking, (Laih, C.-S., Advances in Cryptology - ASIACRYPT 2003, 2003, Springer: Springer Berlin Heidelberg, Berlin, Heidelberg), 188-207 · <a href="/1205.94079" class="nowrap">Zbl 1205.94079</a></td> </tr></table> <div class="reference_disclaimer"> This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching. </div> </div></article> </div></div> </div> </div> <div class="clearfix"></div> </div> </div> <div id="foot"><div class="copyright"> © 2025 <a target="fiz" href="https://www.fiz-karlsruhe.de/en">FIZ Karlsruhe GmbH</a> <a href="/privacy-policy/">Privacy Policy</a> <a href="/legal-notices/">Legal Notices</a> <a href="/terms-conditions/">Terms & Conditions</a> <div class="info"> <ul class="nav"> <li class="mastodon"> <a href="https://mathstodon.xyz/@zbMATH" target="_blank" class="no-new-tab-icon"> <img src="/static/mastodon.png" title="zbMATH at Mathstodon (opens in new tab)" alt="Mastodon logo"> </a> </li> </ul> </div> </div> <div class="clearfix" style="height: 0px;"></div> </div> </div> <script src="https://static.zbmath.org/contrib/jquery/1.9.1/jquery.min.js"></script> <script src="https://static.zbmath.org/contrib/jquery-caret/1.5.2/jquery.caret.min.js"></script> <script src="/static/js/jquery-ui-1.10.1.custom.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap/v3.3.7zb1/js/bootstrap.min.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-lightbox/v0.7.0/bootstrap-lightbox.min.js"></script> <script src="https://static.zbmath.org/contrib/retina/unknown/retina.js"></script> <script src="https://static.zbmath.org/contrib/bootstrap-select/v1.13.14/js/bootstrap-select.min.js"></script> <script> var SCRIPT_ROOT = ""; </script> <script src="/static/scripts.js?v=20240926"> </script> <script src="https://static.zbmath.org/contrib/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script> <script type="text/x-mathjax-config"> MathJax.Hub.Config({ "HTML-CSS": { preferredFont: "TeX", availableFonts: [ "STIX", "TeX" ], linebreaks: { automatic: true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) }, tex2jax: { processEscapes: true, ignoreClass: "tex2jax_ignore|dno" }, TeX: { Macros: { Aut: "\\operatorname{Aut}", Hom: "\\operatorname{Hom}" }, noUndefined: { attributes: { mathcolor: "#039", //"red", mathbackground: "white", //"#FFEEEE", mathsize: "90%" } } }, messageStyle: "none" }); </script> <script type="text/javascript"> $(document).ready(function() { $("#MathInput").stop(true, true).keyup(function() { $.ajax({ url: "/mwsq/", type: "POST", data: { query : $("#MathInput").val() }, dataType: "text" }) .done(function(xml) { $("#MathPreview").html(xml); $(window).resize(); }); }); var press = jQuery.Event("keyup"); press.ctrlKey = false; press.which = 40; $("#MathInput").trigger(press); }); </script> <div id="new_tab_icon" style="display: none"> <span class="glyphicon glyphicon-new-window" aria-hidden="true"></span><span class="sr-only">(opens in new tab)</span></div> </body> </html>

CINXE.COM

Document Zbl 07996673 - zbMATH Open