conftrace_

payroll management

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

formal representation (1) optimal policy (1) machine learning (1) automated reasoning (1) constraint solving (1)

Papers

Automated Reasoning and Learning for Automated Payroll Management AAAI 2021