Author:
Creignou Nadia,Daudé Hervé,Egly Uwe,Rossignol Raphaël
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. Aspvall, B., Plass, M.F., Tarjan, R.E.: A linear-time algorithm for testing the truth of certain quantified Boolean formulas. Information Processing Letters 8(3), 121–123 (1979)
2. Chen, H., Interian, Y.: A model for generating random quantified Boolean formulas. In: Proceedings of the 19th International joint Conference on Artificial Intelligence, IJCAI 2005, pp. 66–71 (2005)
3. Chvátal, V., Reed, B.: Mick gets some (the odds are on his side). In: Proceedings of the 33rd Annual Symposium on Foundations of Computer Science, FOCS 1992, pp. 620–627 (1992)
4. Creignou, N., Daudé, H., Dubois, O.: Expected number of locally maximal solutions for random Boolean CSPs. In: Proceedings of the13th International Conference on Analysis of Algorithms, AofA 2007, Antibes, June 2007. DMTCS, pp. 507–516 (2007)
5. Creignou, N., Daudé, H., Egly, U.: Phase transition for random quantified XOR-formulas. Journal of Artificial Intelligence Research 19, 1–18 (2007)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献