Combining Adaptive Noise and Look-Ahead in Local Search for SAT - Sciweavers

31

click to vote

more SAT 2007 ...

www.laria.u-picardie.fr

Tweet