APA (7th ed.) Citation

Zamponi, M., Incerto, E., Masti, D., & Tribastone, M. (2025). Certified Inductive Synthesis for Online Mixed-Integer Optimization.

Chicago Style (17th ed.) Citation

Zamponi, Marco, Emilio Incerto, Daniele Masti, and Mirco Tribastone. Certified Inductive Synthesis for Online Mixed-Integer Optimization. 2025.

MLA (9th ed.) Citation

Zamponi, Marco, et al. Certified Inductive Synthesis for Online Mixed-Integer Optimization. 2025.