Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. Brglez, F., Li, X.Y., Stallmann, M.F.: On SAT instance classes and a method for reliable performance experiments with sat solvers. Annals of Mathematics and Artificial Intelligence 43, 1–34 (2005)
2. Brglez, F., Osborne, J.A.: Performance testing of combinatorial solvers with isomorph class instances. In: Workshop on Experimental Computer Science, San Diego. ACM, New York (2007) (co-located with FCRC 2007)
3. Le Berre, D., Simon, L.: The essentials of the sat 2003 competition. In: Proc. SAT (2004)
4. Levin, J., Nalebuff, B.: An introduction to vote-counting schemes. The Journal of Economic Perspectives 9, 3–26 (1995)
5. Moulin, H.: Condorcet’s principle implies the no-show paradox. The Journal of Economic Theory 45, 53–64 (1988)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献