Armin Biere

Armin Biere

Johannes Kepler Universität Linz - Linz / Austria
Engineering & Technology / Computer Science
AD Scientific Index ID: 1395394
Johannes Kepler University Linz
person_outline Armin Biere's MOST POPULAR ARTICLES
1-) Symbolic model checking without BDDsA Biere, A Cimatti, E Clarke, Y ZhuInternational conference on tools and algorithms for the construction and …, 199932151999
2-) Handbook of satisfiabilityA Biere, M Heule, H van MaarenIOS press, 200923402009
3-) Bounded model checkingA Bierehandbook of Satisfiability, 739-764, 202116802021
4-) Bounded model checking using satisfiability solvingE Clarke, A Biere, R Raimi, Y ZhuFormal methods in system design 19, 7-34, 200111202001
5-) Symbolic model checking using SAT procedures instead of BDDsA Biere, A Cimatti, EM Clarke, M Fujita, Y ZhuProceedings of the 36th annual ACM/IEEE Design Automation Conference, 317-320, 199910741999