@article{VoporilVS25,
 author = {Florentina Voboril and Vaidyanathan Peruvemba
Ramaswamy and Stefan Szeider},
 journal = {Journal of Artificial Intelligence Research},
 keywords = {asksat, coe, strides},
 pages = {16:1--16:19},
 title = {Generating Streamlining Constraints with Large Language Models},
 volume = {84},
 year = {2025}
}