Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Management Science and Operations Research,Control and Optimization,Computer Networks and Communications,Information Systems,Software
Reference29 articles.
1. Arbelaez, A., Codognet, P.: Massivelly parallel local search for SAT. In: ICTAI’12, pp. 57–64. IEEE Computer Society, Athens (2012)
2. Arbelaez, A., Codognet, P.: From sequential to parallel local search for SAT. In: 13th European Conference on Evolutionary Computation in Combinatorial Optimisation (EvoCOP’13), pp. 157–168 (2013a)
3. Arbelaez, A., Codognet, P.: A survey of parallel local search for sat. In: Theory, Implementation, and Applications of SAT Technology. Workshop at JSAI’13. Toyama (2013b)
4. Arbelaez, A., Hamadi, Y.: Improving parallel local search for SAT. LION 5, 46–60 (2011)
5. Arbelaez, A., Mehta, D., O’Sullivan, B., Quesada, L.: Constraint-based local search for the distance-and capacity-bounded network design problem. In: ICTAI’14, pp. 178–185. IEEE (2014)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献