Biere, Armin

Johannes Kepler University of Linz

1 paper on CoChatORCID 0000-0001-7170-9242

Most cited papers

Verified
A survey of recent advances in SAT-based formal verification
Prasad, M. R., Biere, A., & Gupta, A. (2005) · International Journal on Software Tools for Technology Transfer
Formal Methods in VerificationLogic, programming, and type systems
Cited by 279

Go further with a free account

Verify every reference, keep papers in a library, and ask questions across them.

Sign up - it is free