APA-Zitierstil (7. Ausg.)

Bartal, U., Fried, D., & Lagniez, J. (2026). Efficient Incremental #SAT via Cross-Instance Knowledge Reuse.

Chicago-Zitierstil (17. Ausg.)

Bartal, Uriya, Dror Fried, und Jean-Marie Lagniez. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse. 2026.

MLA-Zitierstil (9. Ausg.)

Bartal, Uriya, et al. Efficient Incremental #SAT via Cross-Instance Knowledge Reuse. 2026.