Author:
Philipp Tobias,Steinke Peter
Publisher
Springer International Publishing
Reference30 articles.
1. Lecture Notes in Computer Science;I Abío,2013
2. Frisch, A.M., Peugniez, T.J., Doggett, A.J., Nightingale, P.W.: Solving non-Boolean satisfiability problems with stochastic local search: A comparison of encodings. Journal of Automated Reasoning 35 (2005)
3. Bailleux, O.: Boolvar/PB 1.0 (2012). http://boolvar.sourceforge.net/
4. Lecture Notes in Computer Science;A Belov,2012
5. Boros, E., Hammer, P.L.: Pseudo-Boolean optimization. Discrete Applied Mathematics 123(1–3), 155–225 (2002)
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献