External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Hybrid Planning by Combining SMT and Simulated Annealing

Jaroslaw Skaruz, Artur Niewiadomski, Wojciech Penczek. Hybrid Planning by Combining SMT and Simulated Annealing. In Zbigniew Suraj, Ludwik Czaja, editors, Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, Rzeszow, Poland, September 28-30, 2015. Volume 1492 of CEUR Workshop Proceedings, pages 173-176, CEUR-WS.org, 2015. [doi]

Authors

Jaroslaw Skaruz

This author has not been identified. Look up 'Jaroslaw Skaruz' in Google

Artur Niewiadomski

This author has not been identified. Look up 'Artur Niewiadomski' in Google

Wojciech Penczek

This author has not been identified. Look up 'Wojciech Penczek' in Google
runs on