Armin Biere

No bio available. Add one in Open Library.

Books by Armin Biere (50 max)

+ shelf+ list

Tools and Algorithms for the Construction and Analysis of Systems 26th International Conference, TACAS 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part I

2020

Armin Biere

+ shelf+ list

Theory and Applications of Satisfiability Testing - SAT 2006: 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings (Lecture Notes in Computer Science)

2006

Armin Biere

+ shelf+ list

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

2013

Armin Biere

+ shelf+ list

Computer Aided Verification 26th International Conference, CAV 2014, Held As Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014, Proceedings

2014

Armin Biere, Roderick Bloem

+ shelf+ list

Effiziente Modellprüfung des [mu]-Kalküls mit binären Entscheidungsdiagrammen

1997

Armin Biere

+ shelf+ list

Digitaltechnik - eine praxisnahe Einfu hrung

2008

Armin Biere, Daniel Kroening, Georg Weissenbacher, Christoph M. Wintersteiger

+ shelf+ list

Handbook of Satisfiability

2009

Armin Biere, Hans van Maaren, Toby Walsh

+ shelf+ list

Handbook of Satisfiability Frontiers in Artificial Intelligence and Applications

2009

Armin Biere