conftrace_

variable ordering heuristic

2 papers

Explore in graph

Also known as

VOH

Co-occurring keywords · papers mentioning both

adaptive selection (1) pseudo-boolean model counting (1) conjunctive normal form (1) projected model counting (1) incremental model counting (1) variable ordering (1) incremental counting (1) search tree (1) model counting (1) gradient boosting decision tree (1)

Papers

Prediction-Based Adaptive Variable Ordering Heuristics for Constraint Satisfaction Problems AAAI 2025 Towards Projected and Incremental Pseudo-Boolean Model Counting AAAI 2025