SAT Solver Design

Karen Petrie

University of Dundee

Faculty Member

School of Computing

Algorithms Computer Networks ,Data Structures ,Database Systems ,Operating Systems (in Computer Science), Applied AI, Artificial Intelligence, and Computer Science Education

Joseph Kiniry

IT University of Copenhagen

Faculty Member

Software Development Group Department

Artificial Life, Automated Deduction, Autonomic Computing, and Category Theory

Eriko Verissimo Campos de Morais

Centro Universitário do Pará

Graduate Student

ACET Department

Action Research (Indigenous Health), Algebraic (Symbolic) Computation, Algorithms, and Anthropology

Andrei - Horia Mogos

"Politehnica" University of Bucharest

Faculty Member

Faculty of Automatic Control and Computer Science

AI Planning (Artificial Intelligence), Algebraic (Symbolic) Computation, Algorithmic Algebra, and Algorithms

Dejan Jovanović

New York University

Graduate Student

Computer Science Department

Abstract Interpretation, Algorithms, Automated Deduction, and Automated reasoning

Christian Muise

University of Toronto

Graduate Student

Computer Science Department

Computer Science and SAT Solver Design

Enrico Pontelli

New Mexico State University

Faculty Member

Computer Science Department

AI Planning (Artificial Intelligence), Algorithms, Artificial Intelligence, and Computer Science

Daniel Ampuero

Universidad Central de Venezuela

Graduate Student

CCG Department

AI Planning (Artificial Intelligence), Agent Based, Algorithm, and Algorithm Analysis

Zhiyang Ong

Universita' di Verona

Graduate Student

Computer Science Department

Analog/RF and Mixed-Signal VLSI Design, Circuits and Systems, Complex Networks, and Computer Architecture

Zahra Emamy

University College London

Graduate Student

Statistical Science Department

Algorithmic Algebra, Algorithms, Applied Mathematics, and Artificial Intelligence

Nic McPhee

University of Minnesota, Morris

Faculty Member

Computer Science Department

Ant Colony Optimisation, Artificial Intelligence, Artificial Neural Network, and Cloud Computing

Martin Fränzle

Carl von Ossietzky University of Oldenburg

Faculty Member

Computing Science Department

Computational Logic, Computational Transporation Science, Computer Science, and Computer Science Education

Dr Ateet Bhalla

NRI Institute of Information Science and Technology, Bhopal, India

Faculty Member

Computer Science and Engineering Department

Algorithms for Satisfiability, Artificial Intelligence, Combinatorial Algorithms, and Combinatorial Optimization

Barry Richards

AI Planning (Artificial Intelligence), Artificial Intelligence, Artificial Intelligence, Philosophy, and Computational Intelligence

Nataraja Upadhya

"New" senses in art: touch, smell, taste, 'Angry Young Men' Movement, 19th (American History), and A New Industry: The Publishing Of Structural Readings Of Texts
x

Log In

or reset password

Reset Password

Enter the email address you signed up with, and we'll send a reset password email to that address

Academia © 2012