Inproceedings,

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems.

, , and .
AAAI, page 8146-8153. AAAI Press, (2024)

Meta data

Tags

Users

  • @dblp

Comments and Reviews