MOC
1998
13 years 4 months ago
1998
A systematic search for large primes has yielded the largest Fermat factors known.
AIMSA
2008
Springer
13 years 6 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
13 years 11 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...