Efficient pebble game algorithms engineered for protein rigidity applications | IEEE Conference Publication | IEEE Xplore