Hemantha Ponnuru

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex constraint program. We study programs that solve tabular-constraint problems encoded in Constraint Lingo and then translated into pro-positional logic with cardinality constraints. We instrument the logic solver so that it(More)
  • 1