Implementing RPO and POLO using SAT.

Peter Schneider-Kamp, Carsten Fuhs, René Thiemann, Jürgen Giesl, Elena Annov, Michael Codish, Aart Middeldorp, Harald Zankl

Research output: Contribution to conferencePaperpeer-review

Fingerprint

Dive into the research topics of 'Implementing RPO and POLO using SAT.'. Together they form a unique fingerprint.

Engineering & Materials Science