An improved Õ(1.234m)-time deterministic algorithm for SAT
ISAAC'05 Proceedings of the 16th international conference on Algorithms and Computation
Singleton and 2-periodic attractors of sign-definite Boolean networks
Information Processing Letters
Logic programming for Boolean networks
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Finding a Periodic Attractor of a Boolean Network
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Hi-index | 0.89 |