Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Aloul, F., Ramani, A., Markov, I., Sakallah, K.: Pbs: a backtrack-search pseudoboolean solver and optimizer. In: Proc. 5th Int. Symp. Theory and Applications of Satisfiability (SAT 2002), pp. 346–353 (2002)
2. Benhamou, B., Sais, L., Siegel, P.: Two proof procedures for a cardinality based language in propositional calculus. In: 1th Annual Symposium on Theoretical Aspects of Computer Science (STACS 1994), vol. 775, pp. 71–82 (1994)
3. Byskov, J.M., Madsen, B.A., Skjernaa, B.: New algorithms for exact satisfiability. Theoretical Computer Science (2004) (to appear)
4. Dahllöf, V., Jonsson, P., Beigel, R.: Algorithms for four variants of the exact satisfiability problem. Theoretical Computer Science 320(2-3), 373–394 (2004)
5. Dransfield, M., Liu, L., Marek, V., Truszczyński, M.: Satisfiability and computing van der Waerden numbers. The Electronic Journal of Combinatorics (2004)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献