APA Style

PETKE, J. (2015). Bridging Constraint Satisfaction and Boolean Satisfiability . Cham: Springer Cham.

MLA Style

PETKE, Justyna. "Bridging Constraint Satisfaction and Boolean Satisfiability". Cham: Springer Cham, 2015. Text.