Affiliation:
1. New York Univ., New York, NY
Abstract
Expert system and integer programming formulations of an NP-complete constraint satisfaction problem are contrasted in terms of performance, ability to encode complex preferences, control of reasoning, and supporting incremental modification of solutions in response to changing input data.
Publisher
Association for Computing Machinery (ACM)
Reference15 articles.
1. Pivot and Complement–A Heuristic for 0-1 Programming
2. An assumption-based TMS
3. Dhar V. A truth maintenance system for supporting c~mstraintbased reasoning. Decis. Support Syst. (Fat1 1989). Dhar V. A truth maintenance system for supporting c~mstraintbased reasoning. Decis. Support Syst. (Fat1 1989).
4. Doyle 1. A truth maintenance system./irtif. Inte{l. I2 :i (1979}. Doyle 1. A truth maintenance system./irtif. Inte{l. I2 :i (1979}.
Cited by
63 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Operational Research in education;European Journal of Operational Research;2015-06
2. Integer Programming Applied to Rule Based Systems;Procedia Computer Science;2012
3. Using XQuery for problem solving;Software: Practice and Experience;2011-11-09
4. Bibliography;Optimization Methods for Logical Inference;2011-09-30
5. Parallelizing a CLIPS-based course timetabling expert system;Expert Systems with Applications;2011-06