APA (7th ed.) Citation

Manthey, N., Philipp, T., & Steinke, P. (2014). A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. KI 2014: Advances in Artificial Intelligence, 123-134. https://doi.org/10.1007/978-3-319-11206-0_13

Chicago Style (17th ed.) Citation

Manthey, Norbert, Tobias Philipp, and Peter Steinke. "A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained." KI 2014: Advances in Artificial Intelligence 2014: 123-134. https://doi.org/10.1007/978-3-319-11206-0_13.

MLA (9th ed.) Citation

Manthey, Norbert, et al. "A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained." KI 2014: Advances in Artificial Intelligence, 2014, pp. 123-134, https://doi.org/10.1007/978-3-319-11206-0_13.