conftrace_

autark assignment

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

polyhedral cone (1) pseudo-polynomial algorithm (1) constraint satisfaction problem (1) linear programming (1) constraint satisfaction (1) discrete optimization (1) combinatorial optimization (1)

Papers

Linear Satisfiability Preserving Assignments (Extended Abstract) IJCAI 2018