Biere, Armin.
Overview
| Works: | 1 works in 4 publications in 1 languages | |
|---|---|---|
Titles
Handbook of satisfiability
by:
Biere, Armin.; Heule, Marijn, (1979-); Maaren, Hans van.
(Electronic resources)
Theory and Applications of Satisfiability Testing - SAT 20069th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings /
by:
(1998 :); Biere, Armin.; Gomes, Carla P.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems26th 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 /
by:
(1998 :); Biere, Armin.; Parker, David.; SpringerLink (Online service)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems26th 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 II /
by:
(1998 :); Biere, Armin.; Parker, David.; SpringerLink (Online service)
(Electronic resources)
Computer aided verification26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014 : proceedings /
by:
(1998 :); Biere, Armin.; Bloem, Roderick.; SpringerLink (Online service)
(Electronic resources)
Subjects
Propositional calculus
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Theory of Computation.
Computer algorithms
Logics and Meanings of Programs.
Software Engineering/Programming and Operating Systems.
Mathematics of Computing.
Algebra, Boolean
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Operating Systems.
Computer software
Control Structures and Microprogramming.
Decision making
System design
Special Purpose and Application-Based Systems.
Numeric Computing.
Computer Science.
Computer Systems Organization and Communication Networks.
Computer System Implementation.
System analysis