Author:
Audemard Gilles,Benhamou Belaid,Henocque Laurent
Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Audemard, G., Benhamou, B., Henocque, L.: Two techniques to improve finite model search. Technical report, Laboratoire d’Informatique de Marseille (1999), accessible electronicaly at http://www.cmi.univ-mrs.fr/~audemard/publi.html
2. Audemard, G., Benhamou, B., Siegel, P.: La mĄéthode d’avalanche aval: une mĄéthode ĄénumĄérative pour sat. In: JNPC, pp. 17–25 (1999)
3. Benhamou, B., Henocque, L.: A hybrid method for finite model search in equational theories. Fundamenta Informaticae 39(l-2), 21–38 (1999)
4. Li, C.M., Anbulagan, A.: Heuristics based on unit propagation for satisfiability problems. In: Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI 1997), August 23-29, pp. 366–371 (1997)
5. Peltier, N.: A new method for automated finite model building exploiting failures and symmetries. Journal of logic and Computation 8(4), 511–543 (1998)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献