ML time predictor combined with simulated annealing optimizes variable orderings to accelerate Boolean Characteristic Set solving of equation systems, with probabilistic complexity bounds derived.
Learning variable ordering heuristics for solving constraint satisfaction problems
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.CR 1years
2025 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction
ML time predictor combined with simulated annealing optimizes variable orderings to accelerate Boolean Characteristic Set solving of equation systems, with probabilistic complexity bounds derived.