Skip to content
conftrace_

variable ordering

6 papers

Explore in graph

Co-occurring keywords · papers mentioning both

constraint satisfaction (2) bounded variable elimination (1) graph-to-sequence learning (1) bound optimization (1) reversible circuit synthesis (1) quantum cost (1) failure-based learning (1) variable ordering heuristic (1) adaptive selection (1) graph neural network (1)

Papers

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning AAAI 2026 Right Branches Matter in Failure-based Variable Ordering Heuristics AAAI 2026 Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025 A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023 Ordering Variables for Weighted Model Integration UAI 2020 Improving Optimization Bounds Using Machine Learning: Decision Diagrams Meet Deep Reinforcement Learning AAAI 2019