conftrace_

quantified linear constraint

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

boolean relaxation (1) quantified linear programming (1) counterexample-guided abstraction refinement (1) answer set programming (1) abstraction refinement (1) constraint solving (1) combinatorial optimization (1)

Papers

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