Robuta

https://research.ucc.ie/en/publications/using-metalevel-constraint-knowledge-to-reduce-constraint-checkin/ Using metalevel constraint knowledge to reduce constraint checking - Discover Research at... discover research using constraint knowledge reduce