Author:
Bennaceur Hachemi,Gouachi Idir,Plateau Gérard
Publisher
Institute for Operations Research and the Management Sciences (INFORMS)
Reference33 articles.
1. Benhamou B. , Saïs L. Theoretical Study of Symetries and Applications.Proceedings CADE(1992)
2. An exact algorithm for the constraint satisfaction problem: Application to logical inference
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT;International Journal of Computational Intelligence and Applications;2008-03
2. SOLVING INCREMENTAL SATISFIABILITY;International Journal on Artificial Intelligence Tools;2007-02
3. Stochastic local search for incremental SAT;International Journal of Knowledge-based and Intelligent Engineering Systems;2005-09-13
4. Incremental Compilation-to-SAT Procedures;Theory and Applications of Satisfiability Testing;2005
5. Systematic versus Non-systematic Methods for Solving Incremental Satisfiability;Innovations in Applied Artificial Intelligence;2004