Skip to content
Snippets Groups Projects
Select Git revision
  • master default
1 result
Compare History
Claudio Scheer's avatar
Preparation of the proposal
Claudio Scheer authored
6fc400f0
Name Last commit Last update
scheer-paper
scheer-proposal
.gitignore
README.md
README.md

About

This repository contains the following:

  • implementation: PDDL formalization of the domain and problems
  • proposal: LaTeX sources of the domain proposal
  • paper: LaTeX sources of the final paper

Problem addressed

The core idea of this project is to represent a C compiler as a PDDL domain. With this approach, a planner could test whether a problem can run in parallel or not.