×

zbMATH — the first resource for mathematics

Found 5284 documents (Results 1–100)

Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19--23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 1195-1199 (2017).
BibTeX Cite
Full Text: DOI
WorldCat.org
Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5--8, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59775-1/pbk; 978-3-319-59776-8/ebook). Lecture Notes in Computer Science 10335, 403-418 (2017).
MSC:  68T20 90C27
BibTeX Cite
Full Text: DOI
WorldCat.org
Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5--8, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59775-1/pbk; 978-3-319-59776-8/ebook). Lecture Notes in Computer Science 10335, 387-402 (2017).
MSC:  68T20 90C27
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter results by …

Reviewing State
Author
Journal
Classification
Publication Year
Software