Abstract: An approach to product modeling by using a reason maintenance system to reduce the amount of search required for the identification of feasible designs is described. An assumption-based truth ...