APA (7th ed.) Citation

Biere, A., Heule, M., & Van Maaren, H. (2009). Handbook of Satisfiability: Handbook of Satisfiability. IOS Press.

Chicago Style (17th ed.) Citation

Biere, A., M. Heule, and H. Van Maaren. Handbook of Satisfiability: Handbook of Satisfiability. Amsterdam: IOS Press, 2009.

MLA (8th ed.) Citation

Biere, A., et al. Handbook of Satisfiability: Handbook of Satisfiability. IOS Press, 2009.

Warning: These citations may not always be 100% accurate.