var bibbase_data = {"data":"<img src=\"//bibbase.org/img/ajax-loader.gif\" id=\"spinner\"\n  style=\"display: none;\" alt=\"Loading..\" />\n\n<div id=\"bibbase\">\n\n  <script type=\"text/javascript\">\n    var bibbase = {\n      params: {\"bib\":\"https://perso.uclouvain.be/quentin.cappart/mybib.bib\",\"jsonp\":\"1\",\"folding\":\"1\",\"host\":\"bibbase.org\"},\n      data: [{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Aoga\"],\"firstnames\":[\"John\",\"OR\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research\",\"pages\":\"82–99\",\"year\":\"2018\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{cappart2018episodesupport,\\n  title={EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events},\\n  author={Cappart, Quentin and Aoga, John OR and Schaus, Pierre},\\n  booktitle={International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},\\n  pages={82--99},\\n  year={2018},\\n  organization={Springer}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Aoga, J. O.\",\"Schaus, P.\"],\"key\":\"cappart2018episodesupport\",\"id\":\"cappart2018episodesupport\",\"bibbaseid\":\"cappart-aoga-schaus-episodesupportaglobalconstraintforminingfrequentpatternsinalongsequenceofevents-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Rescheduling railway traffic on real time situations using time-interval variables\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems\",\"pages\":\"312–327\",\"year\":\"2017\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{cappart2017rescheduling,\\n  title={Rescheduling railway traffic on real time situations using time-interval variables},\\n  author={Cappart, Quentin and Schaus, Pierre},\\n  booktitle={International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems},\\n  pages={312--327},\\n  year={2017},\\n  organization={Springer}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Schaus, P.\"],\"key\":\"cappart2017rescheduling\",\"id\":\"cappart2017rescheduling\",\"bibbaseid\":\"cappart-schaus-reschedulingrailwaytrafficonrealtimesituationsusingtimeintervalvariables-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A dedicated algorithm for verification of interlocking systems\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on Computer Safety, Reliability, and Security\",\"pages\":\"76–87\",\"year\":\"2016\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{cappart2016dedicated,\\n  title={A dedicated algorithm for verification of interlocking systems},\\n  author={Cappart, Quentin and Schaus, Pierre},\\n  booktitle={International Conference on Computer Safety, Reliability, and Security},\\n  pages={76--87},\\n  year={2016},\\n  organization={Springer}\\n}\\n\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Schaus, P.\"],\"key\":\"cappart2016dedicated\",\"id\":\"cappart2016dedicated\",\"bibbaseid\":\"cappart-schaus-adedicatedalgorithmforverificationofinterlockingsystems-2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"The World Migration Network: rankings, groups and gravity models\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Thonet\"],\"firstnames\":[\"Adrien\"],\"suffixes\":[]}],\"booktitle\":\"EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE\",\"pages\":\"1–6\",\"year\":\"2015\",\"organization\":\"IEEE\",\"bibtex\":\"@inproceedings{cappart2015world,\\n  title={The World Migration Network: rankings, groups and gravity models},\\n  author={Cappart, Quentin and Thonet, Adrien},\\n  booktitle={EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE},\\n  pages={1--6},\\n  year={2015},\\n  organization={IEEE}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Thonet, A.\"],\"key\":\"cappart2015world\",\"id\":\"cappart2015world\",\"bibbaseid\":\"cappart-thonet-theworldmigrationnetworkrankingsgroupsandgravitymodels-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Limbrée\"],\"firstnames\":[\"Christophe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Legay\"],\"firstnames\":[\"Axel\"],\"suffixes\":[]}],\"year\":\"2015\",\"title\":\"Verification by Discrete Simulation of Interlocking Systems\",\"booktitle\":\"29th Annual European Simulation and Modelling Conference (ESM)\",\"pages\":\"402-409\",\"bibtex\":\"@inproceedings{cappart_simu,\\n        author={Cappart, Quentin and Limbr\\\\'ee, Christophe and Schaus, Pierre and Legay, Axel},\\n        year={2015},\\n        title={{Verification by Discrete Simulation of Interlocking Systems}},\\n        booktitle={29th Annual European Simulation and Modelling Conference (ESM)},\\n        pages={402-409}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Limbrée, C.\",\"Schaus, P.\",\"Legay, A.\"],\"key\":\"cappart_simu\",\"id\":\"cappart_simu\",\"bibbaseid\":\"cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Verification of interlocking systems using statistical model checking\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Limbrée\"],\"firstnames\":[\"Christophe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Quilbeuf\"],\"firstnames\":[\"Jean\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Traonouez\"],\"firstnames\":[\"Louis-Marie\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Legay\"],\"firstnames\":[\"Axel\"],\"suffixes\":[]}],\"booktitle\":\"High Assurance Systems Engineering (HASE), 2017 IEEE 18th International Symposium on\",\"pages\":\"61–68\",\"year\":\"2017\",\"organization\":\"IEEE\",\"bibtex\":\"@inproceedings{cappart2017verification,\\n  title={Verification of interlocking systems using statistical model checking},\\n  author={Cappart, Quentin and Limbr{\\\\'e}e, Christophe and Schaus, Pierre and Quilbeuf, Jean and Traonouez, Louis-Marie and Legay, Axel},\\n  booktitle={High Assurance Systems Engineering (HASE), 2017 IEEE 18th International Symposium on},\\n  pages={61--68},\\n  year={2017},\\n  organization={IEEE}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Limbrée, C.\",\"Schaus, P.\",\"Quilbeuf, J.\",\"Traonouez, L.\",\"Legay, A.\"],\"key\":\"cappart2017verification\",\"id\":\"cappart2017verification\",\"bibbaseid\":\"cappart-limbre-schaus-quilbeuf-traonouez-legay-verificationofinterlockingsystemsusingstatisticalmodelchecking-2017\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Verification of railway interlocking systems\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Busard\"],\"firstnames\":[\"Simon\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Limbrée\"],\"firstnames\":[\"Christophe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Pecheur\"],\"firstnames\":[\"Charles\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]}],\"booktitle\":\"Proceedings 4th International Workshop on Engineering Safety and Security Systems\",\"volume\":\"184\",\"pages\":\"19\",\"year\":\"2015\",\"bibtex\":\"@inproceedings{busard2015verification,\\n  title={{Verification of railway interlocking systems}},\\n  author={Busard, Simon and Cappart, Quentin and Limbr{\\\\'e}e, Christophe and Pecheur, Charles and Schaus, Pierre},\\n  booktitle={Proceedings 4th International Workshop on Engineering Safety and Security Systems},\\n  volume={184},\\n  pages={19},\\n  year={2015}\\n}\\n\\n\",\"author_short\":[\"Busard, S.\",\"Cappart, Q.\",\"Limbrée, C.\",\"Pecheur, C.\",\"Schaus, P.\"],\"key\":\"busard2015verification\",\"id\":\"busard2015verification\",\"bibbaseid\":\"busard-cappart-limbre-pecheur-schaus-verificationofrailwayinterlockingsystems-2015\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Verification of railway interlocking-compositional approach with OCRA\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Limbrée\"],\"firstnames\":[\"Christophe\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Pecheur\"],\"firstnames\":[\"Charles\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Tonetta\"],\"firstnames\":[\"Stefano\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on Reliability, Safety and Security of Railway Systems\",\"pages\":\"134–149\",\"year\":\"2016\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{limbree2016verification,\\n  title={Verification of railway interlocking-compositional approach with OCRA},\\n  author={Limbr{\\\\'e}e, Christophe and Cappart, Quentin and Pecheur, Charles and Tonetta, Stefano},\\n  booktitle={International Conference on Reliability, Safety and Security of Railway Systems},\\n  pages={134--149},\\n  year={2016},\\n  organization={Springer}\\n}\\n\\n\\n\",\"author_short\":[\"Limbrée, C.\",\"Cappart, Q.\",\"Pecheur, C.\",\"Tonetta, S.\"],\"key\":\"limbree2016verification\",\"id\":\"limbree2016verification\",\"bibbaseid\":\"limbre-cappart-pecheur-tonetta-verificationofrailwayinterlockingcompositionalapproachwithocra-2016\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"A Constraint Programming Approach for Solving Patient Transportation Problems\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Thomas\"],\"firstnames\":[\"Charles\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Schaus\"],\"firstnames\":[\"Pierre\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rousseau\"],\"firstnames\":[\"Louis-Martin\"],\"suffixes\":[]}],\"booktitle\":\"International Conference on Principles and Practice of Constraint Programming\",\"pages\":\"490–506\",\"year\":\"2018\",\"organization\":\"Springer\",\"bibtex\":\"@inproceedings{cappart2018constraint,\\n  title={A Constraint Programming Approach for Solving Patient Transportation Problems},\\n  author={Cappart, Quentin and Thomas, Charles and Schaus, Pierre and Rousseau, Louis-Martin},\\n  booktitle={International Conference on Principles and Practice of Constraint Programming},\\n  pages={490--506},\\n  year={2018},\\n  organization={Springer}\\n}\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Thomas, C.\",\"Schaus, P.\",\"Rousseau, L.\"],\"key\":\"cappart2018constraint\",\"id\":\"cappart2018constraint\",\"bibbaseid\":\"cappart-thomas-schaus-rousseau-aconstraintprogrammingapproachforsolvingpatienttransportationproblems-2018\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"},{\"bibtype\":\"inproceedings\",\"type\":\"inproceedings\",\"title\":\"Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning\",\"author\":[{\"propositions\":[],\"lastnames\":[\"Cappart\"],\"firstnames\":[\"Quentin\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Goutierre\"],\"firstnames\":[\"Emmanuel\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Bergman\"],\"firstnames\":[\"David\"],\"suffixes\":[]},{\"propositions\":[],\"lastnames\":[\"Rousseau\"],\"firstnames\":[\"Louis-Martin\"],\"suffixes\":[]}],\"booktitle\":\"AAAI\",\"year\":\"2019\",\"bibtex\":\"@inproceedings{cappart2019improving,\\n  title={Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning},\\n  author={Cappart, Quentin and Goutierre, Emmanuel and Bergman, David and Rousseau, Louis-Martin},\\n  booktitle={AAAI},\\n  year={2019}\\n}\\n\\n\\n\\n\",\"author_short\":[\"Cappart, Q.\",\"Goutierre, E.\",\"Bergman, D.\",\"Rousseau, L.\"],\"key\":\"cappart2019improving\",\"id\":\"cappart2019improving\",\"bibbaseid\":\"cappart-goutierre-bergman-rousseau-improvingoptimizationboundsusingmachinelearningdecisiondiagramsmeetdeepreinforcementlearning-2019\",\"role\":\"author\",\"urls\":{},\"metadata\":{\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\"html\":\"\"}],\n      metadata: {\"owner\":\"cappart, q\",\"authorlinks\":{\"cappart, q\":\"https://perso.uclouvain.be/quentin.cappart/publications.html\"}},\n      ownerID: \"bQsFgdTFphhyeZ3p9\"\n    };\n  </script>\n\n  <script type=\"text/javascript\">\n  var site$;\n  if (typeof $ != 'undefined') {\n    console.log('existing jquery: storing and then restoring');\n    site$ = $;\n    $ = null;\n  }\n  </script>\n\n  <script src=\"https://ajax.googleapis.com/ajax/libs/jquery/2.2.4/jquery.min.js\">\n  </script>\n  <script type=\"text/javascript\">\n  if (site$) {\n    console.log('existing jquery: avoiding conflict and restoring');\n    bb$ = $.noConflict(true);\n    $ = site$;\n  } else {\n    bb$ = $;\n  }\n  </script>\n\n  <script src=\"//bibbase.org/js/bibbase.min.js\"\n          type=\"text/javascript\">\n  </script>\n\n  <script type=\"text/javascript\"\n          src=\"https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.1/MathJax.js?config=TeX-AMS-MML_HTMLorMML\">\n  </script>\n  <script type=\"text/x-mathjax-config\">\n    MathJax.Hub.Config({tex2jax: {inlineMath: [['$','$'], ['\\\\(','\\\\)']]},\n                        skipTags: [\"body\"],\n                        processClass: \"bibbase_paper\"});\n  </script>\n\n  <style>\n  @media print {\n    .dontprint {\n        display: none !important;\n    }\n\n  .bibbase_group {\n    background-color: #E0E0E0;\n    font-style: italic;\n    font-size: larger;\n    text-shadow: 0px 0px 3px #FFFFFF;\n    border-radius: 4px 4px 4px 4px;\n    -moz-border-radius: 4px 4px 4px 4px;\n    -webkit-border-radius: 4px;\n    padding: 5px 40px 5px;\n    margin-top: 10px;\n    margin-bottom: 5px;\n    cursor: pointer;\n  }\n\n  .bibbase_paper {\n    margin-bottom: 5px;\n  }\n\n  }\n  </style>\n\n  \n  <div style=\"float: right; margin-right: 10px; margin-top: 10px; text-align: right; font-size: 12px\">\n    generated by\n    <a href=\"//bibbase.org\"\n       onclick=\"trackOutboundLink('bibbase', 'logo clicked', window.location.href, '//bibbase.org'); return false;\">\n      <img src=\"//bibbase.org/img/logo.svg\"\n           style=\"vertical-align: middle; margin-left: 3px; height: 16px;\"/\n           alt=\"bibbase.org\"\n           title=\"BibBase – The easiest way to maintain your publications page.\"\n        ></a>\n    \n  </div>\n  \n\n  <div id=\"bibbase_header\" class=\"dontprint\" style=\"\">\n\n    <ul class=\"nav nav-pills\" style=\"margin: 0px;\">\n\n      <li class=\"dropdown\" id=\"groupby_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\">\n          Group by\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li class=\"groupby year\"><a onclick=\"groupby('year')\">\n            Year</a>\n        </li>\n        <li class=\"groupby author\"><a onclick=\"groupby('author_short')\">\n            Author</a>\n        </li>\n        <li class=\"groupby type\"><a onclick=\"groupby('type')\">\n            Type</a>\n        </li>\n        <li class=\"groupby keyword\"><a onclick=\"groupby('keyword')\">\n            Keyword</a>\n        </li>\n        <li class=\"groupby downloads\"><a onclick=\"groupby('downloads')\">\n            Downloads</a>\n        </li>\n      </ul>\n      </li>\n\n\n      <li class=\"dropdown\" id=\"menu_dropdown\">\n      <a class=\"dropdown-toggle\"\n         data-toggle=\"dropdown\"\n         href=\"#\" alt=\"controls\">\n          <i class=\"fa fa-reorder\" alt=\"controls\"></i>\n          <b class=\"caret\"></b>\n      </a>\n      <ul class=\"dropdown-menu\">\n        <li>\n          <a onclick=\"toggleAll()\">\n            <i class=\"fa fa-chevron-down fa-fw\"></i> Expand/Collapse All\n          </a>\n        </li>\n        <li>\n          <a download=\"mybib.bib\" href=\"data:text/bibtex;base64,QGlucHJvY2VlZGluZ3N7Y2FwcGFydDIwMThlcGlzb2Rlc3VwcG9ydCwKICB0aXRsZT17RXBpc29kZVN1cHBvcnQ6IEEgR2xvYmFsIENvbnN0cmFpbnQgZm9yIE1pbmluZyBGcmVxdWVudCBQYXR0ZXJucyBpbiBhIExvbmcgU2VxdWVuY2Ugb2YgRXZlbnRzfSwKICBhdXRob3I9e0NhcHBhcnQsIFF1ZW50aW4gYW5kIEFvZ2EsIEpvaG4gT1IgYW5kIFNjaGF1cywgUGllcnJlfSwKICBib29rdGl0bGU9e0ludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiB0aGUgSW50ZWdyYXRpb24gb2YgQ29uc3RyYWludCBQcm9ncmFtbWluZywgQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UsIGFuZCBPcGVyYXRpb25zIFJlc2VhcmNofSwKICBwYWdlcz17ODItLTk5fSwKICB5ZWFyPXsyMDE4fSwKICBvcmdhbml6YXRpb249e1NwcmluZ2VyfQp9CgoKCkBpbnByb2NlZWRpbmdze2NhcHBhcnQyMDE3cmVzY2hlZHVsaW5nLAogIHRpdGxlPXtSZXNjaGVkdWxpbmcgcmFpbHdheSB0cmFmZmljIG9uIHJlYWwgdGltZSBzaXR1YXRpb25zIHVzaW5nIHRpbWUtaW50ZXJ2YWwgdmFyaWFibGVzfSwKICBhdXRob3I9e0NhcHBhcnQsIFF1ZW50aW4gYW5kIFNjaGF1cywgUGllcnJlfSwKICBib29rdGl0bGU9e0ludGVybmF0aW9uYWwgQ29uZmVyZW5jZSBvbiBBSSBhbmQgT1IgVGVjaG5pcXVlcyBpbiBDb25zdHJhaW50IFByb2dyYW1taW5nIGZvciBDb21iaW5hdG9yaWFsIE9wdGltaXphdGlvbiBQcm9ibGVtc30sCiAgcGFnZXM9ezMxMi0tMzI3fSwKICB5ZWFyPXsyMDE3fSwKICBvcmdhbml6YXRpb249e1NwcmluZ2VyfQp9CgoKCkBpbnByb2NlZWRpbmdze2NhcHBhcnQyMDE2ZGVkaWNhdGVkLAogIHRpdGxlPXtBIGRlZGljYXRlZCBhbGdvcml0aG0gZm9yIHZlcmlmaWNhdGlvbiBvZiBpbnRlcmxvY2tpbmcgc3lzdGVtc30sCiAgYXV0aG9yPXtDYXBwYXJ0LCBRdWVudGluIGFuZCBTY2hhdXMsIFBpZXJyZX0sCiAgYm9va3RpdGxlPXtJbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQ29tcHV0ZXIgU2FmZXR5LCBSZWxpYWJpbGl0eSwgYW5kIFNlY3VyaXR5fSwKICBwYWdlcz17NzYtLTg3fSwKICB5ZWFyPXsyMDE2fSwKICBvcmdhbml6YXRpb249e1NwcmluZ2VyfQp9CgoKCgpAaW5wcm9jZWVkaW5nc3tjYXBwYXJ0MjAxNXdvcmxkLAogIHRpdGxlPXtUaGUgV29ybGQgTWlncmF0aW9uIE5ldHdvcms6IHJhbmtpbmdzLCBncm91cHMgYW5kIGdyYXZpdHkgbW9kZWxzfSwKICBhdXRob3I9e0NhcHBhcnQsIFF1ZW50aW4gYW5kIFRob25ldCwgQWRyaWVufSwKICBib29rdGl0bGU9e0VVUk9DT04gMjAxNS1JbnRlcm5hdGlvbmFsIENvbmZlcmVuY2Ugb24gQ29tcHV0ZXIgYXMgYSBUb29sIChFVVJPQ09OKSwgSUVFRX0sCiAgcGFnZXM9ezEtLTZ9LAogIHllYXI9ezIwMTV9LAogIG9yZ2FuaXphdGlvbj17SUVFRX0KfQoKCgpAaW5wcm9jZWVkaW5nc3tjYXBwYXJ0X3NpbXUsCiAgICAgICAgYXV0aG9yPXtDYXBwYXJ0LCBRdWVudGluIGFuZCBMaW1iclwnZWUsIENocmlzdG9waGUgYW5kIFNjaGF1cywgUGllcnJlIGFuZCBMZWdheSwgQXhlbH0sCiAgICAgICAgeWVhcj17MjAxNX0sCiAgICAgICAgdGl0bGU9e3tWZXJpZmljYXRpb24gYnkgRGlzY3JldGUgU2ltdWxhdGlvbiBvZiBJbnRlcmxvY2tpbmcgU3lzdGVtc319LAogICAgICAgIGJvb2t0aXRsZT17Mjl0aCBBbm51YWwgRXVyb3BlYW4gU2ltdWxhdGlvbiBhbmQgTW9kZWxsaW5nIENvbmZlcmVuY2UgKEVTTSl9LAogICAgICAgIHBhZ2VzPXs0MDItNDA5fQp9CgoKCkBpbnByb2NlZWRpbmdze2NhcHBhcnQyMDE3dmVyaWZpY2F0aW9uLAogIHRpdGxlPXtWZXJpZmljYXRpb24gb2YgaW50ZXJsb2NraW5nIHN5c3RlbXMgdXNpbmcgc3RhdGlzdGljYWwgbW9kZWwgY2hlY2tpbmd9LAogIGF1dGhvcj17Q2FwcGFydCwgUXVlbnRpbiBhbmQgTGltYnJ7XCdlfWUsIENocmlzdG9waGUgYW5kIFNjaGF1cywgUGllcnJlIGFuZCBRdWlsYmV1ZiwgSmVhbiBhbmQgVHJhb25vdWV6LCBMb3Vpcy1NYXJpZSBhbmQgTGVnYXksIEF4ZWx9LAogIGJvb2t0aXRsZT17SGlnaCBBc3N1cmFuY2UgU3lzdGVtcyBFbmdpbmVlcmluZyAoSEFTRSksIDIwMTcgSUVFRSAxOHRoIEludGVybmF0aW9uYWwgU3ltcG9zaXVtIG9ufSwKICBwYWdlcz17NjEtLTY4fSwKICB5ZWFyPXsyMDE3fSwKICBvcmdhbml6YXRpb249e0lFRUV9Cn0KCgoKQGlucHJvY2VlZGluZ3N7YnVzYXJkMjAxNXZlcmlmaWNhdGlvbiwKICB0aXRsZT17e1ZlcmlmaWNhdGlvbiBvZiByYWlsd2F5IGludGVybG9ja2luZyBzeXN0ZW1zfX0sCiAgYXV0aG9yPXtCdXNhcmQsIFNpbW9uIGFuZCBDYXBwYXJ0LCBRdWVudGluIGFuZCBMaW1icntcJ2V9ZSwgQ2hyaXN0b3BoZSBhbmQgUGVjaGV1ciwgQ2hhcmxlcyBhbmQgU2NoYXVzLCBQaWVycmV9LAogIGJvb2t0aXRsZT17UHJvY2VlZGluZ3MgNHRoIEludGVybmF0aW9uYWwgV29ya3Nob3Agb24gRW5naW5lZXJpbmcgU2FmZXR5IGFuZCBTZWN1cml0eSBTeXN0ZW1zfSwKICB2b2x1bWU9ezE4NH0sCiAgcGFnZXM9ezE5fSwKICB5ZWFyPXsyMDE1fQp9CgoKCkBpbnByb2NlZWRpbmdze2xpbWJyZWUyMDE2dmVyaWZpY2F0aW9uLAogIHRpdGxlPXtWZXJpZmljYXRpb24gb2YgcmFpbHdheSBpbnRlcmxvY2tpbmctY29tcG9zaXRpb25hbCBhcHByb2FjaCB3aXRoIE9DUkF9LAogIGF1dGhvcj17TGltYnJ7XCdlfWUsIENocmlzdG9waGUgYW5kIENhcHBhcnQsIFF1ZW50aW4gYW5kIFBlY2hldXIsIENoYXJsZXMgYW5kIFRvbmV0dGEsIFN0ZWZhbm99LAogIGJvb2t0aXRsZT17SW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFJlbGlhYmlsaXR5LCBTYWZldHkgYW5kIFNlY3VyaXR5IG9mIFJhaWx3YXkgU3lzdGVtc30sCiAgcGFnZXM9ezEzNC0tMTQ5fSwKICB5ZWFyPXsyMDE2fSwKICBvcmdhbml6YXRpb249e1NwcmluZ2VyfQp9CgoKCgpAaW5wcm9jZWVkaW5nc3tjYXBwYXJ0MjAxOGNvbnN0cmFpbnQsCiAgdGl0bGU9e0EgQ29uc3RyYWludCBQcm9ncmFtbWluZyBBcHByb2FjaCBmb3IgU29sdmluZyBQYXRpZW50IFRyYW5zcG9ydGF0aW9uIFByb2JsZW1zfSwKICBhdXRob3I9e0NhcHBhcnQsIFF1ZW50aW4gYW5kIFRob21hcywgQ2hhcmxlcyBhbmQgU2NoYXVzLCBQaWVycmUgYW5kIFJvdXNzZWF1LCBMb3Vpcy1NYXJ0aW59LAogIGJvb2t0aXRsZT17SW50ZXJuYXRpb25hbCBDb25mZXJlbmNlIG9uIFByaW5jaXBsZXMgYW5kIFByYWN0aWNlIG9mIENvbnN0cmFpbnQgUHJvZ3JhbW1pbmd9LAogIHBhZ2VzPXs0OTAtLTUwNn0sCiAgeWVhcj17MjAxOH0sCiAgb3JnYW5pemF0aW9uPXtTcHJpbmdlcn0KfQoKCgpAaW5wcm9jZWVkaW5nc3tjYXBwYXJ0MjAxOWltcHJvdmluZywKICB0aXRsZT17SW1wcm92aW5nIE9wdGltaXphdGlvbiBCb3VuZHMgdXNpbmcgTWFjaGluZSBMZWFybmluZzogRGVjaXNpb24gRGlhZ3JhbXMgbWVldCBEZWVwIFJlaW5mb3JjZW1lbnQgTGVhcm5pbmd9LAogIGF1dGhvcj17Q2FwcGFydCwgUXVlbnRpbiBhbmQgR291dGllcnJlLCBFbW1hbnVlbCBhbmQgQmVyZ21hbiwgRGF2aWQgYW5kIFJvdXNzZWF1LCBMb3Vpcy1NYXJ0aW59LAogIGJvb2t0aXRsZT17QUFBSX0sCiAgeWVhcj17MjAxOX0KfQoKCgo=\">\n            <i class=\"fa fa-download fa-fw\"></i> Download BibTeX\n          </a>\n        </li>\n        <li>\n          <a href=\"//bibbase.org/rss?bib=https://perso.uclouvain.be/quentin.cappart/mybib.bib\">\n            <i class=\"fa fa-rss fa-fw\"></i> RSS Feed\n          </a>\n          </li>\n      </ul>\n      </li>\n\n      \n\n\n      \n    </ul>\n\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_embed\"\n         style=\"display: none;\">\n\n      Excellent! Next you can\n      <a href=\"/network/register?next=/network/newSiteFromTemplate%3Fbiburl=https://perso.uclouvain.be/quentin.cappart/mybib.bib\"\n      >create a new website with this list</a>, or\n      embed it in an existing web page by copying &amp; pasting\n      any of the following snippets.\n\n      <div style=\"text-align: left; margin-top: 1em;\">\n        <strong>JavaScript</strong>\n        <span class=\"comment recommended\">(easiest)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;script src=\"https://bibbase.org/show?bib=https%3A%2F%2Fperso.uclouvain.be%2Fquentin.cappart%2Fmybib.bib&amp;jsonp=1&amp;folding=1&amp;jsonp=1\"&gt;&lt;/script&gt;\n          </code>\n        </div>\n\n        <strong>PHP</strong>\n        <div class=\"well well-small\">\n          <code>\n            &lt;?php\n            $contents = file_get_contents(\"https://bibbase.org/show?bib=https%3A%2F%2Fperso.uclouvain.be%2Fquentin.cappart%2Fmybib.bib&amp;jsonp=1&amp;folding=1\");\n            print_r($contents);\n            ?&gt;\n          </code>\n        </div>\n\n        <strong>iFrame</strong>\n        <span class=\"comment\">(not recommended)</span>\n        <div class=\"well well-small\">\n          <code>\n            &lt;iframe src=\"https://bibbase.org/show?bib=https%3A%2F%2Fperso.uclouvain.be%2Fquentin.cappart%2Fmybib.bib&amp;jsonp=1&amp;folding=1\"&gt;&lt;/iframe&gt;\n          </code>\n        </div>\n\n        <p>\n          For more details see the <a href=\"//bibbase.org/help\">documention</a>.\n        </p>\n      </div>\n    </div>\n\n    <div class=\"alert alert-success bibbase_msg\" id=\"bibbase_msg_preview\"\n         style=\"display: none;\">\n\n      This is a preview! To use this list on your own web site\n      or create a new web site from it,\n      <a href=\"/network/register?next=/network/newAccountWithFile%3FfileId=\"\n      >create a free account</a>. The file will be added\n      and you will be able to edit it in the File Manager.\n      We will show you instructions once you've created your account.\n    </div>\n\n    <div class=\"alert alert-warning bibbase_msg\" id=\"bibbase_msg_mendeley1\"\n         style=\"display: none;\">\n\n      <p>To the site owner:</p>\n\n      <p><strong>Action required!</strong> Mendeley is changing its\n        API. In order to keep using Mendeley with BibBase past April\n        14th, you need to:\n        <ol>\n          <li>renew the authorization for BibBase on Mendeley, and</li>\n          <li>update the BibBase URL\n            in your page the same way you did when you initially set up\n            this page.\n          </li>\n        </ol>\n      </p>\n\n      <p>\n        <a href=\"http://bibbase.org/cgi-bin/mendeley2/get.py\">\n          <i class=\"fa fa-angle-double-right\"></i>\n          Fix it now</a>\n      </p>\n    </div>\n\n  </div>\n\n\n  <div id=\"bibbase_body\">\n    \n  \n  <div class=\"bibbase_group_whole\" id=\"group_2019\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2019')\"\n      onkeypress=\"toggleGroup('group_2019')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2019</span>\n      <span class=\"bibbase_group_count\">\n        \n        (1)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"cappart-goutierre-bergman-rousseau-improvingoptimizationboundsusingmachinelearningdecisiondiagramsmeetdeepreinforcementlearning-2019\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Goutierre, E.; Bergman, D.;  and Rousseau, L.\n</span>\n\n  \n\n</span>\n\n  In <i>AAAI</i>,  2019. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-goutierre-bergman-rousseau-improvingoptimizationboundsusingmachinelearningdecisiondiagramsmeetdeepreinforcementlearning-2019\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-goutierre-bergman-rousseau-improvingoptimizationboundsusingmachinelearningdecisiondiagramsmeetdeepreinforcementlearning-2019')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2019improving,\n  title={Improving Optimization Bounds using Machine Learning: Decision Diagrams meet Deep Reinforcement Learning},\n  author={Cappart, Quentin and Goutierre, Emmanuel and Bergman, David and Rousseau, Louis-Martin},\n  booktitle={AAAI},\n  year={2019}\n}\n\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2018\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2018')\"\n      onkeypress=\"toggleGroup('group_2018')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2018</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"cappart-aoga-schaus-episodesupportaglobalconstraintforminingfrequentpatternsinalongsequenceofevents-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Aoga, J. O.;  and Schaus, P.\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research</i>, pages 82–99,  2018. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-aoga-schaus-episodesupportaglobalconstraintforminingfrequentpatternsinalongsequenceofevents-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-aoga-schaus-episodesupportaglobalconstraintforminingfrequentpatternsinalongsequenceofevents-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2018episodesupport,\n  title={EpisodeSupport: A Global Constraint for Mining Frequent Patterns in a Long Sequence of Events},\n  author={Cappart, Quentin and Aoga, John OR and Schaus, Pierre},\n  booktitle={International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research},\n  pages={82--99},\n  year={2018},\n  organization={Springer}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"cappart-thomas-schaus-rousseau-aconstraintprogrammingapproachforsolvingpatienttransportationproblems-2018\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A Constraint Programming Approach for Solving Patient Transportation Problems.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Thomas, C.; Schaus, P.;  and Rousseau, L.\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on Principles and Practice of Constraint Programming</i>, pages 490–506,  2018. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-thomas-schaus-rousseau-aconstraintprogrammingapproachforsolvingpatienttransportationproblems-2018\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-thomas-schaus-rousseau-aconstraintprogrammingapproachforsolvingpatienttransportationproblems-2018')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2018constraint,\n  title={A Constraint Programming Approach for Solving Patient Transportation Problems},\n  author={Cappart, Quentin and Thomas, Charles and Schaus, Pierre and Rousseau, Louis-Martin},\n  booktitle={International Conference on Principles and Practice of Constraint Programming},\n  pages={490--506},\n  year={2018},\n  organization={Springer}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2017\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2017')\"\n      onkeypress=\"toggleGroup('group_2017')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2017</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"cappart-schaus-reschedulingrailwaytrafficonrealtimesituationsusingtimeintervalvariables-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Rescheduling railway traffic on real time situations using time-interval variables.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>;  and Schaus, P.\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems</i>, pages 312–327,  2017. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-schaus-reschedulingrailwaytrafficonrealtimesituationsusingtimeintervalvariables-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-schaus-reschedulingrailwaytrafficonrealtimesituationsusingtimeintervalvariables-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2017rescheduling,\n  title={Rescheduling railway traffic on real time situations using time-interval variables},\n  author={Cappart, Quentin and Schaus, Pierre},\n  booktitle={International Conference on AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems},\n  pages={312--327},\n  year={2017},\n  organization={Springer}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"cappart-limbre-schaus-quilbeuf-traonouez-legay-verificationofinterlockingsystemsusingstatisticalmodelchecking-2017\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Verification of interlocking systems using statistical model checking.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Limbrée, C.; Schaus, P.; Quilbeuf, J.; Traonouez, L.;  and Legay, A.\n</span>\n\n  \n\n</span>\n\n  In <i>High Assurance Systems Engineering (HASE), 2017 IEEE 18th International Symposium on</i>, pages 61–68,  2017. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-limbre-schaus-quilbeuf-traonouez-legay-verificationofinterlockingsystemsusingstatisticalmodelchecking-2017\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-limbre-schaus-quilbeuf-traonouez-legay-verificationofinterlockingsystemsusingstatisticalmodelchecking-2017')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2017verification,\n  title={Verification of interlocking systems using statistical model checking},\n  author={Cappart, Quentin and Limbr{\\&#x27;e}e, Christophe and Schaus, Pierre and Quilbeuf, Jean and Traonouez, Louis-Marie and Legay, Axel},\n  booktitle={High Assurance Systems Engineering (HASE), 2017 IEEE 18th International Symposium on},\n  pages={61--68},\n  year={2017},\n  organization={IEEE}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2016\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2016')\"\n      onkeypress=\"toggleGroup('group_2016')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2016</span>\n      <span class=\"bibbase_group_count\">\n        \n        (2)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"cappart-schaus-adedicatedalgorithmforverificationofinterlockingsystems-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  A dedicated algorithm for verification of interlocking systems.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>;  and Schaus, P.\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on Computer Safety, Reliability, and Security</i>, pages 76–87,  2016. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-schaus-adedicatedalgorithmforverificationofinterlockingsystems-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-schaus-adedicatedalgorithmforverificationofinterlockingsystems-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2016dedicated,\n  title={A dedicated algorithm for verification of interlocking systems},\n  author={Cappart, Quentin and Schaus, Pierre},\n  booktitle={International Conference on Computer Safety, Reliability, and Security},\n  pages={76--87},\n  year={2016},\n  organization={Springer}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"limbre-cappart-pecheur-tonetta-verificationofrailwayinterlockingcompositionalapproachwithocra-2016\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Verification of railway interlocking-compositional approach with OCRA.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Limbrée, C.; <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Pecheur, C.;  and Tonetta, S.\n</span>\n\n  \n\n</span>\n\n  In <i>International Conference on Reliability, Safety and Security of Railway Systems</i>, pages 134–149,  2016. Springer\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/limbre-cappart-pecheur-tonetta-verificationofrailwayinterlockingcompositionalapproachwithocra-2016\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('limbre-cappart-pecheur-tonetta-verificationofrailwayinterlockingcompositionalapproachwithocra-2016')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{limbree2016verification,\n  title={Verification of railway interlocking-compositional approach with OCRA},\n  author={Limbr{\\&#x27;e}e, Christophe and Cappart, Quentin and Pecheur, Charles and Tonetta, Stefano},\n  booktitle={International Conference on Reliability, Safety and Security of Railway Systems},\n  pages={134--149},\n  year={2016},\n  organization={Springer}\n}\n\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n  <div class=\"bibbase_group_whole\" id=\"group_2015\">\n    <div class=\"bibbase_group\"\n      onclick=\"toggleGroup('group_2015')\"\n      onkeypress=\"toggleGroup('group_2015')\"\n      tabindex=\"0\">\n      <i class=\"fa fa-angle-down bibbase_group_head_icon\"></i>&nbsp;\n      <span>2015</span>\n      <span class=\"bibbase_group_count\">\n        \n        (3)\n        \n      </span>\n    </div>\n    <div class=\"bibbase_group_body\">\n      \n  \n  <div class=\"bibbase_paper\" id=\"cappart-thonet-theworldmigrationnetworkrankingsgroupsandgravitymodels-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  The World Migration Network: rankings, groups and gravity models.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>;  and Thonet, A.\n</span>\n\n  \n\n</span>\n\n  In <i>EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE</i>, pages 1–6,  2015. IEEE\n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-thonet-theworldmigrationnetworkrankingsgroupsandgravitymodels-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-thonet-theworldmigrationnetworkrankingsgroupsandgravitymodels-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart2015world,\n  title={The World Migration Network: rankings, groups and gravity models},\n  author={Cappart, Quentin and Thonet, Adrien},\n  booktitle={EUROCON 2015-International Conference on Computer as a Tool (EUROCON), IEEE},\n  pages={1--6},\n  year={2015},\n  organization={IEEE}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Verification by Discrete Simulation of Interlocking Systems.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Limbrée, C.; Schaus, P.;  and Legay, A.\n</span>\n\n  \n\n</span>\n\n  In <i>29th Annual European Simulation and Modelling Conference (ESM)</i>, pages 402-409,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('cappart-limbre-schaus-legay-verificationbydiscretesimulationofinterlockingsystems-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{cappart_simu,\n        author={Cappart, Quentin and Limbr\\&#x27;ee, Christophe and Schaus, Pierre and Legay, Axel},\n        year={2015},\n        title={{Verification by Discrete Simulation of Interlocking Systems}},\n        booktitle={29th Annual European Simulation and Modelling Conference (ESM)},\n        pages={402-409}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n  <div class=\"bibbase_paper\" id=\"busard-cappart-limbre-pecheur-schaus-verificationofrailwayinterlockingsystems-2015\">\n  <span class=\"bibbase_paper_titleauthoryear\">\n\n  \n  <span class=\"bibbase_paper_title\">\n  \n  \n  \n  Verification of railway interlocking systems.\n  \n  \n  \n</span>\n\n  <span class=\"bibbase_paper_author\">\n  Busard, S.; <a class=\"bibbase author link\" href=\"https://perso.uclouvain.be/quentin.cappart/publications.html\">Cappart, Q.</a>; Limbrée, C.; Pecheur, C.;  and Schaus, P.\n</span>\n\n  \n\n</span>\n\n  In <i>Proceedings 4th International Workshop on Engineering Safety and Security Systems</i>, volume 184, pages 19,  2015. \n  <span class=\"note\"></span>\n\n<span class=\"bibbase_note\"></span>\n\n<br class=\"bibbase_paper_content\"/>\n\n<span class=\"bibbase_paper_content dontprint\">\n\n  \n\n  \n\n  \n  <a href=\"//bibbase.org/network/publication/busard-cappart-limbre-pecheur-schaus-verificationofrailwayinterlockingsystems-2015\"\n     class=\"bibbase bibbase_page link\">link</a>\n  &nbsp;\n  \n\n  <a href=\"#\"\n     onclick=\"showBib(event); return false;\"\n     class=\"bibbase bibtex link\">bibtex\n    <i class=\"fa fa-caret-down\"></i></a>\n\n  \n\n  \n\n  <!-- <a class=\"bibbase read link hidden\" -->\n  <!--    href=\"javascript:toggleRead('busard-cappart-limbre-pecheur-schaus-verificationofrailwayinterlockingsystems-2015')\" -->\n  <!--    title=\"Marking this paper as read adds it to your library on BibBase.\" -->\n  <!--    > -->\n  <!--   <i class=\"fa fa-check\"></i>&nbsp; -->\n  <!--   <span>mark as read</span> -->\n  <!-- </a> -->\n\n  &nbsp;\n  \n  \n\n</span>\n\n<div class=\"well well-small bibbase\" data-type=\"bibtex\"\n     style=\"display:none\">\n  <pre style=\"white-space: pre-wrap;\">@inproceedings{busard2015verification,\n  title={{Verification of railway interlocking systems}},\n  author={Busard, Simon and Cappart, Quentin and Limbr{\\&#x27;e}e, Christophe and Pecheur, Charles and Schaus, Pierre},\n  booktitle={Proceedings 4th International Workshop on Engineering Safety and Security Systems},\n  volume={184},\n  pages={19},\n  year={2015}\n}\n\n</pre>\n</div>\n\n\n\n</div>\n\n\n\n\n\n    </div>\n  </div>\n\n\n\n\n  </div>\n\n\n  <!-- Modal -->\n\n  <!-- <iframe id=\"bibbase_network_frame\" -->\n  <!--         src=\"//bibbase.org/network/control\" -->\n  <!--         style=\"display: none;\"> -->\n  <!-- </iframe> -->\n\n</div>\n"}; document.write(bibbase_data.data);