Generating Streamlining Constraints with Large Language Models

Voboril, Florentina; Ramaswamy, Vaidyanathan Peruvemba; Szeider, Stefan

by Florentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan Szeider

Reference:

Generating Streamlining Constraints with Large Language ModelsFlorentina Voboril, Vaidyanathan Peruvemba Ramaswamy, Stefan SzeiderJournal of Artificial Intelligence Research, volume 84, pages 16:1–16:19, 2025.

Bibtex Entry:

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