conftrace_

boolean relaxation

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

quantified linear constraint (1) quantified linear programming (1) resource-efficient learning (1) counterexample-guided abstraction refinement (1) sparse group learning (1) linear predictor (1) graph compression (1) node representation (1) answer set programming (1) support recovery (1)

Papers

CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024 Learning Sparse Group Models Through Boolean Relaxation ICLR 2023 Solving graph compression via optimal transport NeurIPS 2019 Learning SMaLL Predictors NeurIPS 2018