MOC
1998
13 years 11 months ago
1998
A systematic search for large primes has yielded the largest Fermat factors known.
AIMSA
2008
Springer
14 years 1 months ago
2008
Springer
We present a hybrid approach to Distributed Constraint Satisfaction which combines incomplete, fast, penalty-based local search with complete, slower systematic search. Thus, we pr...
KBSE
2007
IEEE
14 years 5 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...