@Articlel{AgrThi01,
author = "Agrawal, Manindra and Thierauf, Thomas",
title = "The Satisfiability Problem for Probabilistic Ordered Branching Programs",
journal = "Theory of Computing Systems (TOCS)",
volume = "34",
year = "2001",
pages = "471-487",
}