@book{10161,
	author = {Bentert, Matthias},
	title = {Elements of dynamic and 2-SAT programming: paths, trees, and cuts},
	url = {https://library.oapen.org/bitstream/20.500.12657/54061/1/bentert_matthias.pdf}
}