Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Average case results for satisfiability algorithms under the random-clause-width model
Annals of Mathematics and Artificial Intelligence
Backtracking and random constraint satisfaction
Annals of Mathematics and Artificial Intelligence
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems
Annals of Mathematics and Artificial Intelligence
Why is Combinational ATPG Efficiently Solvable for Practical VLSI Circuits?
Journal of Electronic Testing: Theory and Applications
Stochastic search and phase transitions: AI meets physics
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
| Hi-index | 0.07 |