Armin Biere
| Use attributes for filter ! | |
| Gender | Male |
|---|---|
| Affiliations | Johannes Kepler University |
| Linz | |
| Citations | 16,070 |
| H index | 51 |
| Interests | Formal Verification |
| Model Checking | |
| Satisfiability | |
| Testing | |
| Debugging | |
| Books | Handbook of Satisfiability |
| Handbook of Model Checking | |
| Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 1868898 |