Improving Variable Orderings of Approximate Decision Diagrams Using Reinforcement Learning

• Quentin Cappart

  Corresponding Author

  Quentin Cappart

  [email protected]

  https://orcid.org/0000-0002-8742-0774

  Ecole Polytechnique de Montréal, Montreal H3T 1J4, Canada;ServiceNow Research (formerly Element AI), Montreal H2S 3G9, Canada;

  Search for more papers by this author

  ,
• David Bergman

  David Bergman

  [email protected]

  https://orcid.org/0000-0002-5566-5224

  University of Connecticut, Stamford, Connecticut 06901

  Search for more papers by this author

  ,
• Louis-Martin Rousseau

  Louis-Martin Rousseau

  [email protected]

  https://orcid.org/0000-0001-6949-6014

  Ecole Polytechnique de Montréal, Montreal H3T 1J4, Canada;

  Search for more papers by this author

  ,
• Isabeau Prémont-Schwarz

  Isabeau Prémont-Schwarz

  [email protected]

  ServiceNow Research (formerly Element AI), Montreal H2S 3G9, Canada;

  Search for more papers by this author

  ,
• Augustin Parjadis

  Augustin Parjadis

  [email protected]

  Ecole Polytechnique de Montréal, Montreal H3T 1J4, Canada;

  Search for more papers by this author