RI: Small: Automated Optimization of Programs and Processing Tools in Answer Set Programming

Truszczynski, Miroslaw (PI)

Computer Science

2 Finished

2 results

Finished
REU Supplement to RI: Small: Automated Optimization of Programs and Processing Tools in Answer Set Programming
Truszczynski, M.
9/1/17 → 12/31/18
Project: Research project
REU Supplement Request to RI: Small: Automated Optimization of Programs and Processing Tools in Answer Set Programming (UK account number 3200001595)
Truszczynski, M.
9/1/17 → 8/31/21
Project: Research project