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 “satisfiability” 4

Sort: Relevance Cited Newest Oldest Fwci Patents ⇩ CSV

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

SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

1

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

0

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra María Franca Santos Da Silva

0

citations
SMT-Based Active Learning of Weighted Automata
2026 Zenodo (CERN European Organization for Nuclear Research) software Computer Science semigroups and automata theory Open access

Tiago Ferreira, Kevin Batz, Alexandra Silva

0

citations

4 results