conftrace_

cdcl algorithm

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

variable decision heuristic (1) exponential time (1) grounding bottleneck (1) resolution proof (1) sat solver (1) answer set programming (1) constraint propagation (1) constraint satisfaction (1) knowledge representation (1) combinatorial optimization (1)

Papers

Hard Examples for Common Variable Decision Heuristics AAAI 2020 Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020