Armin Biere

E2192486 UNEXPLORED

Armin Biere is a computer scientist known for his influential work in formal methods and SAT/SMT solving, including the development of the Boolector SMT solver.

Try in SPARQL Jump to: Surface forms Referenced by

All labels observed (1)

Label	Occurrences
Armin Biere canonical	1

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Boolector → hasAuthor → Armin Biere ⓘ