conftrace_

constraint optimization problem

3 papers

Explore in graph

Also known as

COP

Co-occurring keywords · papers mentioning both

prior alignment (1) dynamic combinatorial sorting (1) unsupervised tasks (1) verification learning (1) large language model (1) neuro-symbolic system (1) search space reduction (1) dominance breaking (1) nogood generation (1) search space (1)

Papers

Learn to Relax with Large Language Models: Solving Constraint Optimization Problems via Bidirectional Coevolution ACL 2026 Verification Learning: Make Unsupervised Neuro-Symbolic System Feasible ICML 2025 Towards More Practical and Efficient Automatic Dominance Breaking AAAI 2021