Solving Generalized Optimization Problems Subject to SMT Constraints

DOI10.1007/978-3-642-29700-7_23zbMath1304.68164OpenAlexW13633238MaRDI QIDQ2897999

Jian Zhang, Feifei Ma, Jun Yan

Publication date: 16 July 2012

Published in: Frontiers in Algorithmics and Algorithmic Aspects in Information and Management (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-29700-7_23

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

This page was built for publication: Solving Generalized Optimization Problems Subject to SMT Constraints