APA Zitierstil

Hutter, F.(2017). The Configurable SAT Solver Challenge (CSSC). Artificial Intelligence, 243, 1-25. doi:10.1016/j.artint.2016.09.006

MLA Zitierstil

Hutter, Frank. "The Configurable SAT Solver Challenge (CSSC)". Artificial Intelligence, 243 ( 2017 ): 1-25.

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.