conftrace_
← Authors

Bernardo Cuteri

1 papers · 2020–2020 · 1 conference · across top CS/AI conferences

Achievements

Jump to papers ↓
🐝 Cross-Pollinator (13)

Conferences

IJCAI (1)

Top co-authors

Carmine Dodaro (1) Francesco Ricca (1) Peter Schüller (1)

Keywords

knowledge representation (1) constraint propagation (1) answer set programming (1) grounding bottleneck (1) cdcl algorithm (1)

Papers

Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators IJCAI 2020