Choueiry, B.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]
- KSL-98-18
- Choueiry, B. Y.; McIlraith, S. A.; Iwasaki, Y.; Loeser, T.; Neller, T.; Engelmore, R.; & Fikes, R. Thoughts Towards a Practical Theory of Reformulation for Reasoning about Physical Systems. Knowledge Systems Laboratory, June, 1998.
- KSL-98-23
- Choueiry, B. Y. & Noubir, G. A Disjunctive Decomposition Scheme for Discrete Constraint Satisfaction Problems Using Complete No-Good Sets. Knowledge Systems Laboratory, August, 1998.
- KSL-98-24
- Choueiry, B. Y. & Noubir, G. On the Computation of Local Interchangeability in Discrete Constraint Satisfaction Problems. Knowledge Systems Laboratory, October, 1998.
Jump to...
[KSL]
[SMI]
[Reports by Author]
[Reports by KSL Number]
[Reports by Year]