Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework

16 October 2021

Pashootan Vaezipoor

Papers citing "Finding Backdoors to Integer Programs: A Monte Carlo Tree Search Framework"

3 / 3 papers shown

Title
Layered and Staged Monte Carlo Tree Search for SMT Strategy Synthesis Zhengyang Lu Stefan Siemer Piyush Jha Joel D. Day Florin Manea Vijay Ganesh 6 1 0 30 Jan 2024
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams R. Patel Elias Boutros Khalil 37 0 0 06 Jul 2023
Machine Learning for K-adaptability in Two-stage Robust Optimization Esther Julien Krzysztof Postek cS. .Ilker Birbil 36 2 0 20 Oct 2022