The constraint solver takes a description of some constraints and a layout describing the relationship between cells and tries to generate a configuration that fills all cells while still conforming ...

Abstract: This paper presents a relation-centric solver for text-diagram function problems mainly studied in the secondary school, which aims to be the core solver for future intelligent tutoring ...