Skip to main content

Peter Scneider-Kamp


Phone: +45 6550 2327

Automated Software Verification
- Termination of Logic Programs
- Termination of Functional Programs
- Termination of Term Rewriting
- Termination of Imperative Programs
- Development of the AProVE Tool
Reducing Search Problems to SAT
- Applications in Automated Abstraction and Program Synthesis
- Encoding LPO to SAT
- Encoding RPO to SAT
- Encoding POLO to SAT
Sorting Networks
- Minimal Size Sorting Networks
- Minimal Depth Sorting Networks
- Efficient Sorting based on Sorting Networks
Group webpage: Peter Schneider-Kamp
A complete list of publications by Peter Schneider-Kamp can be found here.

Peter Schneider-Kamp