From

Institution

Field

Type

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

Reset

Papers matching “satisfiability” 7

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
bge-barcoding/BeeGees: v3.0.6
2026 Zenodo (CERN European Organization for Nuclear Research) software Biochemistry, Genetics and Molecular Biology Genomics and Phylogenetic Studies Open access

Dan Parsons, Claude, Rutger Vos, Ben Price

0

citations
Fairness of Poalrization Measures - experiments for the audit paper.
2026 Code Ocean software Physics and Astronomy Opinion Dynamics and Social Influence Open access

Stanisław Stępień, Michalina Janik, Akrati Saxena, Radosław Michalski

0

citations
coffea
2025 Zenodo (CERN European Organization for Nuclear Research) software Decision Sciences Scientific Computing and Data Management Open access

0

citations

7 results