A Aralex Aachen research explorer

Search

From

To

Institution

Field

Type

Open access only Cited by patents (Lens) Include non-Aachen papers (citing/cited)

Papers matching “disjunctive programming” 2

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

Not finding it? Sign in to also search OpenAlex live.

Dynamics of Belief: Abduction, Horn Knowledge Base And Database Updates
2023 Research Square preprint Computer Science Logic, Reasoning, and Knowledge Open access

Radhakrishnan Delhibabu

0

citations
Infinite State Model Checking by Learning Transitive Relations
2025 arXiv (Cornell University) preprint Computer Science Formal Methods in Verification Open access

Florian Frohn, Jürgen Giesl

1

citations

2 results