Guided Local Search for Solving SAT and Weighted MAX-SAT Problems - Sciweavers

40

click to vote

more JAR 2000 ...

cswww.essex.ac.uk

Tweet