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

Truszczynski, Miroslaw (PI)

Computer Science

2 Finished

2 results

Filter

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