APA Citation

Boltenhagen, M., Chatain, T., & Carmona Vargas, J. (2020). Optimized SAT encoding of conformance checking artefacts.

Chicago Style Citation

Boltenhagen, Mathilde, Thomas Chatain, and Josep|||0000-0001-9656-254X Carmona Vargas. Optimized SAT Encoding of Conformance Checking Artefacts. 2020.

MLA Citation

Boltenhagen, Mathilde, Thomas Chatain, and Josep|||0000-0001-9656-254X Carmona Vargas. Optimized SAT Encoding of Conformance Checking Artefacts. 2020.

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