Knowledge compilation using constraint inheritance. - Rosemary Chabot; David C. Brown (Artif. Intell. Eng. Des. Anal. Manuf., 1994)