_id,doi,title
4112,10.1016/0196-6774(85)90030-6,Batched dynamic solutions to decomposable searching problems