Algorithms for Satisfiability

Jorge Chávez

Universidad Nacional Mayor de San Marcos

Faculty Member

Facultad de Ingeniería de Sistemas e Informática Department

# Algorithms # Computer Networks # Data Mining # Data Structures # Database Systems # Operating Systems, (Multi-) Agent Technology, .net Programming, and Academic Technology

Christoph Wintersteiger

Microsoft Research

Post-Doc

Cambridge Department

Algorithms for Satisfiability, Constraint Solving, Hardware Verification, and Satisfiability Modulo Theories

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

Serge Gaspers

Vienna University of Technology

Post-Doc

Institute of Information Systems

Algorithms, Algorithms for Satisfiability, Constraint Programming, and Exponential Time Algorithms

Juan Carlos López Gonzalez

Algorithms for Satisfiability, Cellular Automata, Artificial Intelligence, and Distributed Computing

Jonathan Mikkila

York University

Undergraduate

Cognitive Science Department

Algorithms for Satisfiability, Heterogeneous Computing, Intelligent Systems, and Machine Learning
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