Exploiting a theory of phase transitions in three-satisfiability problems
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
A second order parameter for 3SAT
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Flexible and approximate computation through state-space reduction
UAI'98 Proceedings of the Fourteenth conference on Uncertainty in artificial intelligence
Hi-index | 0.00 |