conftrace_

quantified linear programming

1 paper

Explore in graph

Also known as

QLP

Co-occurring keywords · papers mentioning both

counterexample-guided abstraction refinement (1) quantified linear constraint (1) boolean relaxation (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