1. A linear-time algorithm for testing the truth of certain quantified Boolean formulas;Aspvall;Information Processing Letters,1979
2. Bacchus, F., 2002. Enhancing Davis Putnam with extended binary clause reasoning. In: 18th National Conference on Artificial Intelligence.
3. Linearizing geometric programs;Duffin;SIAM Review,1970
4. Geometric Programming: Theory and Applications;Duffin,1967
5. Practical Methods of Optimization;Fletcher,1987