Armin Biere

Subjects

Computer science, Congresses, Boolean Algebra, Computer algorithms, Computer software, verification, Decision making, Logic design, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Propositional calculus, Software engineering, Algorithms & data structures, Algorithmus, Anwendung, Artificial Intelligence (incl. Robotics), Artificial intelligence, Berechnungskomplexität, Computer Systems Organization and Communication Networks, Computer input-output equipment, Computer network architectures, Computer programs, Digitalschaltung, Erfüllbarkeitsproblem, Expert systems / knowledge-based systems, Hardware