Kullmann, O., & Marques-Silva, J. (2015). Computing Maximal Autarkies with Few and Simple Oracle Queries. Theory and Applications of Satisfiability Testing -- SAT 2015, 9340, pp. 138-155. doi:10.1007/978-3-319-24318-4_11
Chicago Style CitationKullmann, Oliver, and João Marques-Silva. "Computing Maximal Autarkies With Few and Simple Oracle Queries." Theory and Applications of Satisfiability Testing -- SAT 2015 9340 (2015): 138-155.
MLA CitationKullmann, Oliver, and João Marques-Silva. "Computing Maximal Autarkies With Few and Simple Oracle Queries." Theory and Applications of Satisfiability Testing -- SAT 2015 9340 (2015): 138-155.
Warning: These citations may not always be 100% accurate.