ML time predictor combined with simulated annealing optimizes variable orderings to accelerate Boolean Characteristic Set solving of equation systems, with probabilistic complexity bounds derived.
Applying wu’s method to symbolic simulation for boolean layer psl assertion checking.Journal of Convergence Information Technology, 7(4):272–279
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.