APA Citation

Kullmann, O., & Shukla, A. (2019). Autarkies for DQCNF. 2019 Formal Methods in Computer Aided Design (FMCAD), pp. 179-183. doi:10.23919/fmcad.2019.8894263

Chicago Style Citation

Kullmann, Oliver, and Ankit Shukla. "Autarkies for DQCNF." 2019 Formal Methods in Computer Aided Design (FMCAD) 2019: 179-183.

MLA Citation

Kullmann, Oliver, and Ankit Shukla. "Autarkies for DQCNF." 2019 Formal Methods in Computer Aided Design (FMCAD) 2019: 179-183.

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