Publisher
Institute for Operations Research and the Management Sciences (INFORMS)
Subject
Management Science and Operations Research,Computer Science Applications
Reference18 articles.
1. Finding a Maximum Clique in an Arbitrary Graph
2. Resolution search
3. Combining satisfiability techniques from AI and OR
4. Gaschnig J. Experimental case studies of backtrack vs. Waltz-type vs. new algorithms for satisficing assignment problemsProc. Second Conf. Canadian Soc. Computational Stud. Intelligence(1978) Toronto, Ontario, Canada268277
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献