Document Search Results

<!doctype html> <html lang="en"> <head> <meta charset="utf-8"> <title>Document Search Results - 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="/?q=rf%3A5771551"> <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="rf:5771551" 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-option"><div class="navigation"> <div class="function input-group"> <div class="btn-group"> <button name="mark" value="mark" class="btn btn-default btn-xs mark-btn" type="button"><strong>Mark All</strong></button> <div class="btn-group display-marked-items"> <button type="button" class="btn btn-default btn-xs dropdown-toggle" data-toggle="dropdown"> <strong>Display Marked Items</strong> <span class="caret"></span> </button> <span id="display-query" class="tex2jax_ignore" style="display: none;">rf:5771551</span> <span id="display-formula" style="display: none;"></span> <span id="display-start" style="display: none;">0</span> <span id="display-count" style="display: none;">100</span> <span id="display-format" style="display: none;">mathjax</span> <span id="display-ranking" style="display: none;">date</span> <ul class="dropdown-menu"> <li> <a href="#" class="display-html">HTML</a> </li> <li> <a href="#" class="display-pdf-short">PDF (short)</a> </li> <li> <a href="#" class="display-pdf-long">PDF (long)</a> </li> <li> <a href="#" class="display-latexci">LaTeX Citation</a> </li> <li> <a href="#" class="display-bibtex">BibTeX</a> </li> <li> <a href="#" class="display-amsrefs">AMSRef</a> </li> </ul> </div> </div> </div> <div class="page-navigation"> <span class="title"> Page <strong>1</strong> of <strong>1</strong> </span> <div class="pages btn-group"> <a class="btn btn-default btn-xs first disabled" tabindex="-1" type="button" href="/?q=rf%3A5771551" title="">First</a> <a class="btn btn-default btn-xs previous disabled" tabindex="-1" type="button" href="/?q=rf%3A5771551" title="">Prev</a> <a class="btn btn-default btn-xs page" type="button" href="/?q=rf%3A5771551" title="">&diams;</a> <a class="btn btn-default btn-xs next disabled" tabindex="-1" type="button" href="/?q=rf%3A5771551" title="">Next</a> <a class="btn btn-default btn-xs last disabled" tabindex="-1" type="button" href="/?q=rf%3A5771551" title="">Last</a> </div> </div> <div class="ranking"> <input type="checkbox" name="r" id="ranking" value="xx"><span> Sorting</span> </div> <div class="clearfix"></div> </div> <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" role="list" style="padding-top: 20px;"> <div class="content-title"> <div class="head"> <h2>Found 26 Documents <small>(Results 1–26)</small> </h2> </div> </div> <div class="content-clear"></div> <section class="content-result" role="list"><div class="meta row"> <div class="count col-sm-4 col-sm-offset-8"> <div class="function btn-group" style="float: right;" role="group" aria-label="sort by"> <a class="btn btn-default btn-xs active " title="sort by date">Newest</a> <a class="btn btn-default btn-xs " href="/?q=rf%3A5771551&r=references " title="sort by number of citations">Citations</a> <a class="btn btn-default btn-xs " href="/?q=rf%3A5771551&r=relevance " title="sort by relevance">Relevance</a> </div> </div> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7844611" value="7844611" aria-label="mark item Zbl 07844611"></div> <div class="author"><a href="/authors/bressan.marco" title="Author Profile">Bressan, Marco</a>; <a href="/authors/lanzinger.matthias" title="Author Profile">Lanzinger, Matthias</a>; <a href="/authors/roth.marc" title="Author Profile">Roth, Marc</a></div> <h3 class="title"> <a href="/7844611"><strong>The complexity of pattern counting in directed graphs, parameterised by the outdegree.</strong></a> <i>(English)</i> <a class="label nowrap" href="/7844611">Zbl 07844611</a> </h3> <div class="source"> Saha, Barna (ed.) et al., Proceedings of the 55th annual ACM SIGACT symposium on theory of computing, STOC ’23, Orlando, FL, USA, June 20–23, 2023. New York, NY: Association for Computing Machinery (ACM). 542-552 (2023). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68Qxx" title="Theory of computing">68Qxx</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 07844611" data-ciurl="/ci/07844611" data-biburl="/bibtex/07844611.bib" data-amsurl="/amsrefs/07844611.bib" data-xmlurl="/xml/07844611.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07844611.pdf" title="Zbl 07844611 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.1145/3564246.3585204" aria-label="DOI for “The complexity of pattern counting in directed graphs, parameterised by the outdegree”" title="10.1145/3564246.3585204">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/2211.01905"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7657081" value="7657081" aria-label="mark item Zbl 1508.05122"></div> <div class="author"><a href="/authors/adrar.nabil" title="Author Profile">Adrar, Nabil</a>; <a href="/authors/jegou.philippe" title="Author Profile">Jégou, Philippe</a>; <a href="/authors/terrioux.cyril" title="Author Profile">Terrioux, Cyril</a></div> <h3 class="title"> <a href="/1508.05122"><strong>Computing partial hypergraphs of bounded width.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1508.05122">Zbl 1508.05122</a> </h3> <div class="source"> <a href="/serials/68" title="Journal Profile">Discrete Appl. Math.</a> <a href="/?q=in%3A493626" title="Articles in this Issue">329, 1-22 (2023)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A05C85" title="Graph algorithms (graph-theoretic aspects)">05C85</a> <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</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 1508.05122" data-ciurl="/ci/07657081" data-biburl="/bibtex/07657081.bib" data-amsurl="/amsrefs/07657081.bib" data-xmlurl="/xml/07657081.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07657081.pdf" title="Zbl 1508.05122 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.dam.2022.12.025" aria-label="DOI for “Computing partial hypergraphs of bounded width”" title="10.1016/j.dam.2022.12.025">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://hal.science/hal-04361509" title="Open Access at HAL">HAL </a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7217011" value="7217011" aria-label="mark item Zbl 1446.68051"></div> <div class="author"><a href="/authors/barcelo.pablo" title="Author Profile">Barceló, Pablo</a>; <a href="/authors/romero.miguel" title="Author Profile">Romero, Miguel</a>; <a href="/authors/zeume.thomas" title="Author Profile">Zeume, Thomas</a></div> <h3 class="title"> <a href="/1446.68051"><strong>A more general theory of static approximations for conjunctive queries.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1446.68051">Zbl 1446.68051</a> </h3> <div class="source"> <a href="/serials/2291" title="Journal Profile">Theory Comput. Syst.</a> <a href="/?q=in%3A450479" title="Articles in this Issue">64, No. 5, 916-964 (2020)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68P15" title="Database theory">68P15</a> <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</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 1446.68051" data-ciurl="/ci/07217011" data-biburl="/bibtex/07217011.bib" data-amsurl="/amsrefs/07217011.bib" data-xmlurl="/xml/07217011.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07217011.pdf" title="Zbl 1446.68051 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.1007/s00224-019-09924-0" aria-label="DOI for “A more general theory of static approximations for conjunctive queries”" title="10.1007/s00224-019-09924-0">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://drops.dagstuhl.de/opus/volltexte/2018/8602/" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6776606" value="6776606" aria-label="mark item Zbl 1370.68070"></div> <div class="author"><a href="/authors/koutris.paraschos" title="Author Profile">Koutris, Paraschos</a>; <a href="/authors/milo.tova" title="Author Profile">Milo, Tova</a>; <a href="/authors/roy.sudeepa" title="Author Profile">Roy, Sudeepa</a>; <a href="/authors/suciu.dan-mircea" title="Author Profile">Suciu, Dan</a></div> <h3 class="title"> <a href="/1370.68070"><strong>Answering conjunctive queries with inequalities.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1370.68070">Zbl 1370.68070</a> </h3> <div class="source"> <a href="/serials/2291" title="Journal Profile">Theory Comput. Syst.</a> <a href="/?q=in%3A368073" title="Articles in this Issue">61, No. 1, 2-30 (2017)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68P15" title="Database theory">68P15</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 1370.68070" data-ciurl="/ci/06776606" data-biburl="/bibtex/06776606.bib" data-amsurl="/amsrefs/06776606.bib" data-xmlurl="/xml/06776606.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06776606.pdf" title="Zbl 1370.68070 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.1007/s00224-016-9684-2" aria-label="DOI for “Answering conjunctive queries with inequalities”" title="10.1007/s00224-016-9684-2">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1412.3869"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="https://drops.dagstuhl.de/opus/volltexte/2015/4978/" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6750882" value="6750882" aria-label="mark item Zbl 1371.68061"></div> <div class="author"><a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a>; <a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a></div> <h3 class="title"> <a href="/1371.68061"><strong>The power of local consistency in conjunctive queries and constraint satisfaction problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1371.68061">Zbl 1371.68061</a> </h3> <div class="source"> <a href="/serials/706" title="Journal Profile">SIAM J. Comput.</a> <a href="/?q=in%3A366138" title="Articles in this Issue">46, No. 3, 1111-1145 (2017)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68P15" title="Database theory">68P15</a> <a class="mono" href="/classification/?q=cc%3A68P05" title="Data structures">68P05</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 1371.68061" data-ciurl="/ci/06750882" data-biburl="/bibtex/06750882.bib" data-amsurl="/amsrefs/06750882.bib" data-xmlurl="/xml/06750882.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06750882.pdf" title="Zbl 1371.68061 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.1137/16M1090272" aria-label="DOI for “The power of local consistency in conjunctive queries and constraint satisfaction problems”" title="10.1137/16M1090272">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6579398" value="6579398" aria-label="mark item Zbl 1357.68207"></div> <div class="author"><a href="/authors/habbas.zineb" title="Author Profile">Habbas, Zineb</a>; <a href="/authors/amroun.kamal" title="Author Profile">Amroun, Kamal</a>; <a href="/authors/singer.daniel-jeremy" title="Author Profile">Singer, Daniel</a></div> <h3 class="title"> <a href="/1357.68207"><strong>Generalized hypertree decomposition for solving non binary CSP with compressed table constraints.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1357.68207">Zbl 1357.68207</a> </h3> <div class="source"> <a href="/serials/2680" title="Journal Profile">RAIRO, Oper. Res.</a> <a href="/?q=in%3A355211" title="Articles in this Issue">50, No. 2, 241-267 (2016)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</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 1357.68207" data-ciurl="/ci/06579398" data-biburl="/bibtex/06579398.bib" data-amsurl="/amsrefs/06579398.bib" data-xmlurl="/xml/06579398.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06579398.pdf" title="Zbl 1357.68207 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.1051/ro/2015017" aria-label="DOI for “Generalized hypertree decomposition for solving non binary CSP with compressed table constraints”" title="10.1051/ro/2015017">DOI</a> <a class="btn btn-default btn-xs" type="button" href="http://www.numdam.org/item?id=10.1051/ro/2015017" title="Open Access at Numdam">Numdam</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6570967" value="6570967" aria-label="mark item Zbl 1334.90192"></div> <div class="author"><a href="/authors/thorstensen.evgenij" title="Author Profile">Thorstensen, Evgenij</a></div> <h3 class="title"> <a href="/1334.90192"><strong>Structural decompositions for problems with global constraints.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1334.90192">Zbl 1334.90192</a> </h3> <div class="source"> <a href="/serials/2206" title="Journal Profile">Constraints</a> <a href="/?q=in%3A353776" title="Articles in this Issue">21, No. 2, 198-222 (2016)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A90C35" title="Programming involving graphs or networks">90C35</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 1334.90192" data-ciurl="/ci/06570967" data-biburl="/bibtex/06570967.bib" data-amsurl="/amsrefs/06570967.bib" data-xmlurl="/xml/06570967.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06570967.pdf" title="Zbl 1334.90192 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.1007/s10601-015-9181-2" aria-label="DOI for “Structural decompositions for problems with global constraints”" title="10.1007/s10601-015-9181-2">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1502.02467"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7389555" value="7389555" aria-label="mark item Zbl 1488.05259"></div> <div class="author"><a href="/authors/alikhani.saeid" title="Author Profile">Alikhani, S.</a>; <a href="/authors/jahari.somayeh" title="Author Profile">Jahari, S.</a></div> <h3 class="title"> <a href="/1488.05259"><strong>On the edge cover polynomial of certain graphs.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1488.05259">Zbl 1488.05259</a> </h3> <div class="source"> <a href="/serials/9995" title="Journal Profile">J. Algebr. Syst.</a> <a href="/?q=in%3A468553" title="Articles in this Issue">2, No. 2, 97-108 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C31" title="Graph polynomials">05C31</a> <a class="mono" href="/classification/?q=cc%3A05C70" title="Edge subsets with special properties (factorization, matching, partitioning, covering and packing, etc.)">05C70</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 1488.05259" data-ciurl="/ci/07389555" data-biburl="/bibtex/07389555.bib" data-amsurl="/amsrefs/07389555.bib" data-xmlurl="/xml/07389555.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07389555.pdf" title="Zbl 1488.05259 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.22044/jas.2015.359" aria-label="DOI for “On the edge cover polynomial of certain graphs”" title="10.22044/jas.2015.359">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1312.7506"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6570160" value="6570160" aria-label="mark item Zbl 1352.68080"></div> <div class="author"><a href="/authors/durand.arnaud.1" title="Author Profile">Durand, Arnaud</a>; <a href="/authors/mengel.stefan" title="Author Profile">Mengel, Stefan</a></div> <h3 class="title"> <a href="/1352.68080"><strong>Structural tractability of counting of solutions to conjunctive queries.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1352.68080">Zbl 1352.68080</a> </h3> <div class="source"> <a href="/serials/2291" title="Journal Profile">Theory Comput. Syst.</a> <a href="/?q=in%3A352755" title="Articles in this Issue">57, No. 4, 1202-1249 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68P15" title="Database theory">68P15</a> <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</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 1352.68080" data-ciurl="/ci/06570160" data-biburl="/bibtex/06570160.bib" data-amsurl="/amsrefs/06570160.bib" data-xmlurl="/xml/06570160.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06570160.pdf" title="Zbl 1352.68080 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.1007/s00224-014-9543-y" aria-label="DOI for “Structural tractability of counting of solutions to conjunctive queries”" title="10.1007/s00224-014-9543-y">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1303.2059"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6438842" value="6438842" aria-label="mark item Zbl 1318.68094"></div> <div class="author"><a href="/authors/jonsson.peter" title="Author Profile">Jonsson, Peter</a>; <a href="/authors/lagerkvist.victor" title="Author Profile">Lagerkvist, Victor</a>; <a href="/authors/nordh.gustav" title="Author Profile">Nordh, Gustav</a></div> <h3 class="title"> <a href="/1318.68094"><strong>Constructing NP-intermediate problems by blowing holes with parameters of various properties.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1318.68094">Zbl 1318.68094</a> </h3> <div class="source"> <a href="/serials/735" title="Journal Profile">Theor. Comput. Sci.</a> <a href="/?q=in%3A344370" title="Articles in this Issue">581, 67-82 (2015)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</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 1318.68094" data-ciurl="/ci/06438842" data-biburl="/bibtex/06438842.bib" data-amsurl="/amsrefs/06438842.bib" data-xmlurl="/xml/06438842.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06438842.pdf" title="Zbl 1318.68094 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.tcs.2015.03.009" aria-label="DOI for “Constructing NP-intermediate problems by blowing holes with parameters of various properties”" title="10.1016/j.tcs.2015.03.009">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6250004" value="6250004" aria-label="mark item Zbl 1279.68277"></div> <div class="author"><a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a>; <a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a></div> <h3 class="title"> <a href="/1279.68277"><strong>Tree projections and structural decomposition methods: minimality and game-theoretic characterization.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1279.68277">Zbl 1279.68277</a> </h3> <div class="source"> <a href="/serials/735" title="Journal Profile">Theor. Comput. Sci.</a> <a href="/?q=in%3A328608" title="Articles in this Issue">522, 95-114 (2014)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</a> <a class="mono" href="/classification/?q=cc%3A05C57" title="Games on graphs (graph-theoretic aspects)">05C57</a> <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A05C05" title="Trees">05C05</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 1279.68277" data-ciurl="/ci/06250004" data-biburl="/bibtex/06250004.bib" data-amsurl="/amsrefs/06250004.bib" data-xmlurl="/xml/06250004.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06250004.pdf" title="Zbl 1279.68277 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.tcs.2013.12.012" aria-label="DOI for “Tree projections and structural decomposition methods: minimality and game-theoretic characterization”" title="10.1016/j.tcs.2013.12.012">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1212.2314"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6431888" value="6431888" aria-label="mark item Zbl 1310.05151"></div> <div class="author"><a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a>; <a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a></div> <h3 class="title"> <a href="/1310.05151"><strong>Structural tractability of enumerating CSP solutions.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1310.05151">Zbl 1310.05151</a> </h3> <div class="source"> <a href="/serials/2206" title="Journal Profile">Constraints</a> <a href="/?q=in%3A313090" title="Articles in this Issue">18, No. 1, 38-74 (2013)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A05C05" title="Trees">05C05</a> <a class="mono" href="/classification/?q=cc%3A05C30" title="Enumeration in graph theory">05C30</a> <a class="mono" href="/classification/?q=cc%3A05C51" title="Graph designs and isomorphic decomposition">05C51</a> <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</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 1310.05151" data-ciurl="/ci/06431888" data-biburl="/bibtex/06431888.bib" data-amsurl="/amsrefs/06431888.bib" data-xmlurl="/xml/06431888.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06431888.pdf" title="Zbl 1310.05151 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.1007/s10601-012-9129-8" aria-label="DOI for “Structural tractability of enumerating CSP solutions”" title="10.1007/s10601-012-9129-8">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1005.1567"title="Note: arXiv document may differ from published version">arXiv</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item7053313" value="7053313" aria-label="mark item Zbl 1423.68215"></div> <div class="author"><a href="/authors/kolmogorov.vladimir" title="Author Profile">Kolmogorov, Vladimir</a>; <a href="/authors/zivny.stanislav" title="Author Profile">Živný, Stanislav</a></div> <h3 class="title"> <a href="/1423.68215"><strong>The complexity of conservative valued CSPs.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1423.68215">Zbl 1423.68215</a> </h3> <div class="source"> Rabani, Yuval (ed.), Proceedings of the 23rd annual ACM-SIAM symposium on discrete algorithms, SODA 2012, Kyoto, Japan, January 17–19, 2012. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 750-759 (2012). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</a> <a class="mono" href="/classification/?q=cc%3A90C27" title="Combinatorial optimization">90C27</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 1423.68215" data-ciurl="/ci/07053313" data-biburl="/bibtex/07053313.bib" data-amsurl="/amsrefs/07053313.bib" data-xmlurl="/xml/07053313.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/07053313.pdf" title="Zbl 1423.68215 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://dl.acm.org/citation.cfm?id=2095177" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item6058202" value="6058202" aria-label="mark item Zbl 1242.05058"></div> <div class="author"><a href="/authors/moll.lukas" title="Author Profile">Moll, Lukas</a>; <a href="/authors/tazari.siamak" title="Author Profile">Tazari, Siamak</a>; <a href="/authors/thurley.marc" title="Author Profile">Thurley, Marc</a></div> <h3 class="title"> <a href="/1242.05058"><strong>Computing hypergraph width measures exactly.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1242.05058">Zbl 1242.05058</a> </h3> <div class="source"> <a href="/serials/113" title="Journal Profile">Inf. Process. Lett.</a> <a href="/?q=in%3A296288" title="Articles in this Issue">112, No. 6, 238-242 (2012)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C05" title="Trees">05C05</a> <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A05C90" title="Applications of graph theory">05C90</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 1242.05058" data-ciurl="/ci/06058202" data-biburl="/bibtex/06058202.bib" data-amsurl="/amsrefs/06058202.bib" data-xmlurl="/xml/06058202.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/06058202.pdf" title="Zbl 1242.05058 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.ipl.2011.12.002" aria-label="DOI for “Computing hypergraph width measures exactly”" title="10.1016/j.ipl.2011.12.002">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1106.4719"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="http://ddd.uab.cat/record/81056" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5898926" value="5898926" aria-label="mark item Zbl 1253.68180"></div> <div class="author"><a href="/authors/marx.daniel" title="Author Profile">Marx, Dániel</a></div> <h3 class="title"> <a href="/1253.68180"><strong>Tractable structures for constraint satisfaction with truth tables.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1253.68180">Zbl 1253.68180</a> </h3> <div class="source"> <a href="/serials/2291" title="Journal Profile">Theory Comput. Syst.</a> <a href="/?q=in%3A276670" title="Articles in this Issue">48, No. 3, 444-464 (2011)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</a> <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</a> <a class="mono" href="/classification/?q=cc%3A68Q17" title="Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)">68Q17</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 1253.68180" data-ciurl="/ci/05898926" data-biburl="/bibtex/05898926.bib" data-amsurl="/amsrefs/05898926.bib" data-xmlurl="/xml/05898926.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05898926.pdf" title="Zbl 1253.68180 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.1007/s00224-009-9248-9" aria-label="DOI for “Tractable structures for constraint satisfaction with truth tables”" title="10.1007/s00224-009-9248-9">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://drops.dagstuhl.de/opus/volltexte/2009/1807/" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5796735" value="5796735" aria-label="mark item Zbl 1214.68347"></div> <div class="author"><a href="/authors/chen.hubie" title="Author Profile">Chen, Hubie</a>; <a href="/authors/grohe.martin" title="Author Profile">Grohe, Martin</a></div> <h3 class="title"> <a href="/1214.68347"><strong>Constraint satisfaction with succinctly specified relations.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1214.68347">Zbl 1214.68347</a> </h3> <div class="source"> <a href="/serials/483" title="Journal Profile">J. Comput. Syst. Sci.</a> <a href="/?q=in%3A267499" title="Articles in this Issue">76, No. 8, 847-860 (2010)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</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 1214.68347" data-ciurl="/ci/05796735" data-biburl="/bibtex/05796735.bib" data-amsurl="/amsrefs/05796735.bib" data-xmlurl="/xml/05796735.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05796735.pdf" title="Zbl 1214.68347 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.jcss.2010.04.003" aria-label="DOI for “Constraint satisfaction with succinctly specified relations”" title="10.1016/j.jcss.2010.04.003">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://drops.dagstuhl.de/opus/volltexte/2006/802/" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5705364" value="5705364" aria-label="mark item Zbl 1207.68355"></div> <div class="author"><a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a>; <a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a></div> <h3 class="title"> <a href="/1207.68355"><strong>On the power of structural decompositions of graph-based representations of constraint problems.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1207.68355">Zbl 1207.68355</a> </h3> <div class="source"> <a href="/serials/34" title="Journal Profile">Artif. Intell.</a> <a href="/?q=in%3A259708" title="Articles in this Issue">174, No. 5-6, 382-409 (2010)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</a> <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</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 1207.68355" data-ciurl="/ci/05705364" data-biburl="/bibtex/05705364.bib" data-amsurl="/amsrefs/05705364.bib" data-xmlurl="/xml/05705364.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05705364.pdf" title="Zbl 1207.68355 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.2009.12.004" aria-label="DOI for “On the power of structural decompositions of graph-based representations of constraint problems”" title="10.1016/j.artint.2009.12.004">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5675314" value="5675314" aria-label="mark item Zbl 1214.05166"></div> <div class="author"><a href="/authors/samer.marko" title="Author Profile">Samer, Marko</a>; <a href="/authors/szeider.stefan" title="Author Profile">Szeider, Stefan</a></div> <h3 class="title"> <a href="/1214.05166"><strong>Algorithms for propositional model counting.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1214.05166">Zbl 1214.05166</a> </h3> <div class="source"> <a href="/serials/3114" title="Journal Profile">J. Discrete Algorithms</a> <a href="/?q=in%3A257888" title="Articles in this Issue">8, No. 1, 50-64 (2010)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C85" title="Graph algorithms (graph-theoretic aspects)">05C85</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 1214.05166" data-ciurl="/ci/05675314" data-biburl="/bibtex/05675314.bib" data-amsurl="/amsrefs/05675314.bib" data-xmlurl="/xml/05675314.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05675314.pdf" title="Zbl 1214.05166 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.jda.2009.06.002" aria-label="DOI for “Algorithms for propositional model counting”" title="10.1016/j.jda.2009.06.002">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5669214" value="5669214" aria-label="mark item Zbl 1186.68443"></div> <div class="author"><a href="/authors/samer.marko" title="Author Profile">Samer, Marko</a>; <a href="/authors/szeider.stefan" title="Author Profile">Szeider, Stefan</a></div> <h3 class="title"> <a href="/1186.68443"><strong>Constraint satisfaction with bounded treewidth revisited.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1186.68443">Zbl 1186.68443</a> </h3> <div class="source"> <a href="/serials/483" title="Journal Profile">J. Comput. Syst. Sci.</a> <a href="/?q=in%3A258159" title="Articles in this Issue">76, No. 2, 103-114 (2010)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</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 1186.68443" data-ciurl="/ci/05669214" data-biburl="/bibtex/05669214.bib" data-amsurl="/amsrefs/05669214.bib" data-xmlurl="/xml/05669214.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05669214.pdf" title="Zbl 1186.68443 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.jcss.2009.04.003" aria-label="DOI for “Constraint satisfaction with bounded treewidth revisited”" title="10.1016/j.jcss.2009.04.003">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5654183" value="5654183" aria-label="mark item Zbl 1194.68171"></div> <div class="author"><a href="/authors/gottlob.georg" title="Author Profile">Gottlob, Georg</a>; <a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a>; <a href="/authors/miklos.zoltan" title="Author Profile">Miklós, Zoltán</a>; <a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a>; <a href="/authors/schwentick.thomas" title="Author Profile">Schwentick, Thomas</a></div> <h3 class="title"> <a href="/1194.68171"><strong>Tree projections: Game characterization and computational aspects.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1194.68171">Zbl 1194.68171</a> </h3> <div class="source"> Lipshteyn, Marina (ed.) et al., Graph theory, computational intelligence and thought. Essays dedicated to Martin Charles Golumbic on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-02028-5/pbk). Lecture Notes in Computer Science 5420, 217-226 (2009). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</a> <a class="mono" href="/classification/?q=cc%3A05C57" title="Games on graphs (graph-theoretic aspects)">05C57</a> <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</a> <a class="mono" href="/classification/?q=cc%3A68Q17" title="Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)">68Q17</a> <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</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 1194.68171" data-ciurl="/ci/05654183" data-biburl="/bibtex/05654183.bib" data-amsurl="/amsrefs/05654183.bib" data-xmlurl="/xml/05654183.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05654183.pdf" title="Zbl 1194.68171 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.1007/978-3-642-02029-2_21" aria-label="DOI for “Tree projections: Game characterization and computational aspects”" title="10.1007/978-3-642-02029-2_21">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5632000" value="5632000" aria-label="mark item Zbl 1257.03051"></div> <div class="author"><a href="/authors/adler.isolde" title="Author Profile">Adler, Isolde</a>; <a href="/authors/weyer.mark" title="Author Profile">Weyer, Mark</a></div> <h3 class="title"> <a href="/1257.03051"><strong>Tree-width for first order formulae.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1257.03051">Zbl 1257.03051</a> </h3> <div class="source"> Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 71-85 (2009). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A03B70" title="Logic in computer science">03B70</a> <a class="mono" href="/classification/?q=cc%3A03B10" title="Classical first-order logic">03B10</a> <a class="mono" href="/classification/?q=cc%3A03D15" title="Complexity of computation (including implicit computational complexity)">03D15</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 1257.03051" data-ciurl="/ci/05632000" data-biburl="/bibtex/05632000.bib" data-amsurl="/amsrefs/05632000.bib" data-xmlurl="/xml/05632000.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05632000.pdf" title="Zbl 1257.03051 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.1007/978-3-642-04027-6_8" aria-label="DOI for “Tree-width for first order formulae”" title="10.1007/978-3-642-04027-6_8">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://arxiv.org/abs/1203.3814"title="Note: arXiv document may differ from published version">arXiv</a> <a class="btn btn-default btn-xs" type="button" href="http://publikationen.ub.uni-frankfurt.de/files/31616/1203.3814.pdf" title="Full Text Link">Link</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5496767" value="5496767" aria-label="mark item Zbl 1171.68501"></div> <div class="author"><a href="/authors/scarcello.francesco" title="Author Profile">Scarcello, Francesco</a>; <a href="/authors/gottlob.georg" title="Author Profile">Gottlob, Georg</a>; <a href="/authors/greco.gianluigi" title="Author Profile">Greco, Gianluigi</a></div> <h3 class="title"> <a href="/1171.68501"><strong>Uniform constraint satisfaction problems and database theory.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1171.68501">Zbl 1171.68501</a> </h3> <div class="source"> Creignou, Nadia (ed.) et al., Complexity of constraints. An overview of current research themes. Berlin: Springer (ISBN 978-3-540-92799-0/pbk). Lecture Notes in Computer Science 5250, 156-195 (2008). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</a> <a class="mono" href="/classification/?q=cc%3A68P15" title="Database theory">68P15</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 1171.68501" data-ciurl="/ci/05496767" data-biburl="/bibtex/05496767.bib" data-amsurl="/amsrefs/05496767.bib" data-xmlurl="/xml/05496767.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05496767.pdf" title="Zbl 1171.68501 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.1007/978-3-540-92800-3_7" aria-label="DOI for “Uniform constraint satisfaction problems and database theory”" title="10.1007/978-3-540-92800-3_7">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5292235" value="5292235" aria-label="mark item Zbl 1160.68007"></div> <div class="author"><a href="/authors/fomin.fedor-v" title="Author Profile">Fomin, Fedor V.</a>; <a href="/authors/thilikos.dimitrios-m" title="Author Profile">Thilikos, Dimitrios M.</a></div> <h3 class="title"> <a href="/1160.68007"><strong>An annotated bibliography on guaranteed graph searching.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1160.68007">Zbl 1160.68007</a> </h3> <div class="source"> <a href="/serials/735" title="Journal Profile">Theor. Comput. Sci.</a> <a href="/?q=in%3A219995" title="Articles in this Issue">399, No. 3, 236-245 (2008)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68P10" title="Searching and sorting">68P10</a> <a class="mono" href="/classification/?q=cc%3A68R10" title="Graph theory (including graph drawing) in computer science">68R10</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 1160.68007" data-ciurl="/ci/05292235" data-biburl="/bibtex/05292235.bib" data-amsurl="/amsrefs/05292235.bib" data-xmlurl="/xml/05292235.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05292235.pdf" title="Zbl 1160.68007 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.tcs.2008.02.040" aria-label="DOI for “An annotated bibliography on guaranteed graph searching”" title="10.1016/j.tcs.2008.02.040">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5318827" value="5318827" aria-label="mark item Zbl 1145.68518"></div> <div class="author"><a href="/authors/jegou.philippe" title="Author Profile">Jégou, Philippe</a>; <a href="/authors/ndiaye.samba-ndojh" title="Author Profile">Ndiaye, Samba Ndojh</a>; <a href="/authors/terrioux.cyril" title="Author Profile">Terrioux, Cyril</a></div> <h3 class="title"> <a href="/1145.68518"><strong>Dynamic management of heuristics for solving structured CSPs.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1145.68518">Zbl 1145.68518</a> </h3> <div class="source"> Bessière, Christian (ed.), Principles and practice of constraint programming – CP 2007. 13th international conference, CP 2007, Providence, RI, USA, September 23–27, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74969-1/pbk). Lecture Notes in Computer Science 4741, 364-378 (2007). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68T20" title="Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)">68T20</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 1145.68518" data-ciurl="/ci/05318827" data-biburl="/bibtex/05318827.bib" data-amsurl="/amsrefs/05318827.bib" data-xmlurl="/xml/05318827.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05318827.pdf" title="Zbl 1145.68518 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.1007/978-3-540-74970-7_27" aria-label="DOI for “Dynamic management of heuristics for solving structured CSPs”" title="10.1007/978-3-540-74970-7_27">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5275863" value="5275863" aria-label="mark item Zbl 1137.68623"></div> <div class="author"><a href="/authors/samer.marko" title="Author Profile">Samer, Marko</a>; <a href="/authors/szeider.stefan" title="Author Profile">Szeider, Stefan</a></div> <h3 class="title"> <a href="/1137.68623"><strong>Algorithms for propositional model counting.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1137.68623">Zbl 1137.68623</a> </h3> <div class="source"> Dershowitz, Nachum (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 14th international conference, LPAR 2007, Yerevan, Armenia, October 15–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-75558-6/pbk). Lecture Notes in Computer Science 4790. Lecture Notes in Artificial Intelligence, 484-498 (2007). </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A68W05" title="Nonnumerical algorithms">68W05</a> <a class="mono" href="/classification/?q=cc%3A68Q25" title="Analysis of algorithms and problem complexity">68Q25</a> <a class="mono" href="/classification/?q=cc%3A68T27" title="Logic in artificial intelligence">68T27</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 1137.68623" data-ciurl="/ci/05275863" data-biburl="/bibtex/05275863.bib" data-amsurl="/amsrefs/05275863.bib" data-xmlurl="/xml/05275863.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05275863.pdf" title="Zbl 1137.68623 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.1007/978-3-540-75560-9_35" aria-label="DOI for “Algorithms for propositional model counting”" title="10.1007/978-3-540-75560-9_35">DOI</a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div> <div class="list" role="listitem"> <article> <div class="mark-btn"><input type="checkbox" name="mark" id="item5213644" value="5213644" aria-label="mark item Zbl 1127.05065"></div> <div class="author"><a href="/authors/adler.isolde" title="Author Profile">Adler, Isolde</a>; <a href="/authors/gottlob.georg" title="Author Profile">Gottlob, Georg</a>; <a href="/authors/grohe.martin" title="Author Profile">Grohe, Martin</a></div> <h3 class="title"> <a href="/1127.05065"><strong>Hypertree width and related hypergraph invariants.</strong></a> <i>(English)</i> <a class="label nowrap" href="/1127.05065">Zbl 1127.05065</a> </h3> <div class="source"> <a href="/serials/824" title="Journal Profile">Eur. J. Comb.</a> <a href="/?q=in%3A213284" title="Articles in this Issue">28, No. 8, 2167-2181 (2007)</a>. </div><div class="classification"> MSC:  <a class="mono" href="/classification/?q=cc%3A05C65" title="Hypergraphs">05C65</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 1127.05065" data-ciurl="/ci/05213644" data-biburl="/bibtex/05213644.bib" data-amsurl="/amsrefs/05213644.bib" data-xmlurl="/xml/05213644.xml" > Cite </a> <a class="btn btn-default btn-xs pdf" data-container="body" type="button" href="/pdf/05213644.pdf" title="Zbl 1127.05065 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.ejc.2007.04.013" aria-label="DOI for “Hypertree width and related hypergraph invariants”" title="10.1016/j.ejc.2007.04.013">DOI</a> <a class="btn btn-default btn-xs" type="button" href="https://hal.science/hal-01184381" title="Open Access at HAL">HAL </a> </div> <div class="sfx" style="float: right;"> </div> </div> </article> </div></section> <section class="content-filter"><h2 class="filters-caption">Filter Results by …</h2> <div class="filter filter-st"> <h3 class="filter-caption">Access</h3> <ul><li> <a href="/?q=rf%3A5771551+st%3Ao" title="Open Access Documents">Open Access</a> (1) </li></ul> </div> <div class="filter filter-dt"> <h3 class="filter-caption">Document Type</h3> <ul><li> <a href="/?q=rf%3A5771551+dt%3Aj" title="Articles in Journals">Journal Articles</a> (19) </li><li> <a href="/?q=rf%3A5771551+dt%3Aa" title="Articles in Conference Proceedings and Collected Volumes">Collection Articles</a> (7) </li></ul> </div> <div class="filter filter-ai"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Author</h3> <ul><li> <a href="/?q=rf%3A5771551+ai%3Agreco.gianluigi">Greco, Gianluigi</a> (6) </li><li> <a href="/?q=rf%3A5771551+ai%3Ascarcello.francesco">Scarcello, Francesco</a> (6) </li><li> <a href="/?q=rf%3A5771551+ai%3Agottlob.georg">Gottlob, Georg</a> (3) </li><li> <a href="/?q=rf%3A5771551+ai%3Asamer.marko">Samer, Marko</a> (3) </li><li> <a href="/?q=rf%3A5771551+ai%3Aszeider.stefan">Szeider, Stefan</a> (3) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aadler.isolde">Adler, Isolde</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Agrohe.martin">Grohe, Martin</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Ajegou.philippe">Jégou, Philippe</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aterrioux.cyril">Terrioux, Cyril</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aadrar.nabil">Adrar, Nabil</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aalikhani.saeid">Alikhani, Saeid</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aamroun.kamal">Amroun, Kamal</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Abarcelo.pablo">Barceló, Pablo</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Abressan.marco">Bressan, Marco</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Achen.hubie">Chen, Hubie</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Adurand.arnaud.1">Durand, Arnaud</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Afomin.fedor-v">Fomin, Fedor V.</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Ahabbas.zineb">Habbas, Zineb</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Ajahari.somayeh">Jahari, Somayeh</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Ajonsson.peter">Jonsson, Peter</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Akolmogorov.vladimir">Kolmogorov, Vladimir</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Akoutris.paraschos">Koutris, Paraschos</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Alagerkvist.victor">Lagerkvist, Victor</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Alanzinger.matthias">Lanzinger, Matthias</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Amarx.daniel">Marx, Dániel</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Amengel.stefan">Mengel, Stefan</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Amiklos.zoltan">Miklós, Zoltán</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Amilo.tova">Milo, Tova</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Amoll.lukas">Moll, Lukas</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Andiaye.samba-ndojh">Ndiaye, Samba Ndojh</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Anordh.gustav">Nordh, Gustav</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aromero.miguel">Romero, Miguel</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aroth.marc">Roth, Marc</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aroy.sudeepa">Roy, Sudeepa</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aschwentick.thomas">Schwentick, Thomas</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Asinger.daniel-jeremy">Singer, Daniel Jeremy</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Asuciu.dan-mircea">Suciu, Dan Mircea</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Atazari.siamak">Tazari, Siamak</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Athilikos.dimitrios-m">Thilikos, Dimitrios M.</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Athorstensen.evgenij">Thorstensen, Evgenij</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Athurley.marc">Thurley, Marc</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Aweyer.mark">Weyer, Mark</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Azeume.thomas">Zeume, Thomas</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+ai%3Azivny.stanislav">Živný, Stanislav</a> (1) </li></ul> </div> <div class="filter filter-se"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Serial</h3> <ul> <li> <a href="/?q=rf%3A5771551+se%3A2291" title="Theory of Computing Systems">Theory Comput. Syst. </a> (4)</li><li> <a href="/?q=rf%3A5771551+se%3A735" title="Theoretical Computer Science">Theor. Comput. Sci. </a> (3)</li><li> <a href="/?q=rf%3A5771551+se%3A483" title="Journal of Computer and System Sciences">J. Comput. Syst. Sci. </a> (2)</li><li> <a href="/?q=rf%3A5771551+se%3A2206" title="Constraints">Constraints </a> (2)</li><li> <a href="/?q=rf%3A5771551+se%3A34" title="Artificial Intelligence">Artif. Intell. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A68" title="Discrete Applied Mathematics">Discrete Appl. Math. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A113" title="Information Processing Letters">Inf. Process. Lett. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A706" title="SIAM Journal on Computing">SIAM J. Comput. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A824" title="European Journal of Combinatorics">Eur. J. Comb. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A2680" title="RAIRO. Operations Research">RAIRO, Oper. Res. </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A3114" title="Journal of Discrete Algorithms">J. Discrete Algorithms </a> (1)</li><li class="more"> <a href="/?q=rf%3A5771551+se%3A9995" title="Journal of Algebraic Systems">J. Algebr. Syst. </a> (1)</li></ul> </div> <div class="filter filter-py"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 5 <i class="caret"></i></a><h3 class="filter-caption">Year of Publication</h3> <ul><li> <a href="/?q=rf%3A5771551+py%3A2023">2023</a> (2) </li><li> <a href="/?q=rf%3A5771551+py%3A2020">2020</a> (1) </li><li> <a href="/?q=rf%3A5771551+py%3A2017">2017</a> (2) </li><li> <a href="/?q=rf%3A5771551+py%3A2016">2016</a> (2) </li><li> <a href="/?q=rf%3A5771551+py%3A2015">2015</a> (3) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2014">2014</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2013">2013</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2012">2012</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2011">2011</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2010">2010</a> (4) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2009">2009</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2008">2008</a> (2) </li><li class="more"> <a href="/?q=rf%3A5771551+py%3A2007">2007</a> (3) </li> </ul> </div> <div class="filter filter-cc"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 3 <i class="caret"></i></a><h3 class="filter-caption">Main Field</h3> <ul><li> <a class="" href="/?q=rf%3A5771551+cc%3A68" title="Computer science">68-XX </a> (20) </li><li> <a class="" href="/?q=rf%3A5771551+cc%3A05" title="Combinatorics">05-XX </a> (9) </li><li> <a class="" href="/?q=rf%3A5771551+cc%3A90" title="Operations research, mathematical programming">90-XX </a> (2) </li><li class="more"> <a class="" href="/?q=rf%3A5771551+cc%3A03" title="Mathematical logic and foundations">03-XX </a> (1) </li></ul> </div> <div class="filter filter-sw"><a tabindex="0" class="more">all <i class="caret"></i></a> <a tabindex="0" class="less">top 3 <i class="caret"></i></a><h3 class="filter-caption">Software</h3> <ul><li> <a href="/?q=rf%3A5771551+sw%3AHyperBench">HyperBench</a> (1) </li><li> <a href="/?q=rf%3A5771551+sw%3AMINION">MINION</a> (1) </li><li> <a href="/?q=rf%3A5771551+sw%3AMiniCon">MiniCon</a> (1) </li><li class="more"> <a href="/?q=rf%3A5771551+sw%3ASTR2">STR2</a> (1) </li></ul> </div> </section> <div class="content-clear"></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 Search Results - zbMATH Open