Hemantha Ponnuru

  • Citations Per Year
Learn More
This paper shows how to generate an English step-bystep 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 propositional logic with cardinality constraints. We instrument the logic solver so that it(More)
  • 1