SFB 378 home OMEGA staff OMEGA description Deutsche Version OMEGA contact OMEGA Flyer PS OMEGA Flyer PDF

B
READY
KnAc
PERFORM
OMEGA
NEP
CHORUS

OMEGA publications

(See also the project's own publications page.)
Search Terms
Boolean Case

2000

Extensions of Constraint Solving for Proof Planning
(Erica Melis and Jürgen Zimmer and Tobias Müller)

Integrating Constraint Solving into Proof Planning
(Erica Melis and Jürgen Zimmer and Tobias Müller)


SFB 378 home OMEGA staff OMEGA description Deutsche Version OMEGA contact OMEGA Flyer PS OMEGA Flyer PDF