A Structure-Based Variable Ordering Heuristic for SAT - Sciweavers

11

click to vote

more IJCAI 2003 ...

goedel.cs.uiowa.edu

Tweet