GradNova

Home
Find Faculty
Universities
Research
Home
/
Research
/

Constraint Satisfaction and Optimization

Constraint Satisfaction and Optimization

35 faculty research Constraint Satisfaction and Optimization on GradNova.

R
Advanced Software Engineering Methodologies
Constraint Satisfaction and Optimization
Formal Methods in Verification
P
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
K
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
Formal Methods in Verification
+1
S
Constraint Satisfaction and Optimization
Imbalanced Data Classification Techniques
Machine Learning and Algorithms
Robotic Path Planning Algorithms
+1
D
Dave Tompkins

Associate Professor, Teaching Stream and Associate Director, Undergraduate Studies

David R. Cheriton School of Computer Science

University of Waterloo

Advanced Database Systems and Queries
Bayesian Modeling and Causal Inference
Constraint Satisfaction and Optimization
Data Management and Algorithms
+1
Y
Yash Vardhan Pant

Assistant Professor, Electrical and Computer Engineering

David R. Cheriton School of Computer Science

University of Waterloo

Bim and Construction Integration
Constraint Satisfaction and Optimization
Genomics and Phylogenetic Studies
Simulation Techniques and Applications
+1
D
Donald Cowan

Distinguished Professor Emeritus / Adjunct Professor

David R. Cheriton School of Computer Science

University of Waterloo

Constraint Satisfaction and Optimization
Data Management and Algorithms
Geographic Information Systems Studies
W
Wei-Min Shen

Associate Professor of Computer Science Practice

Computer Science

University of Southern California

Artificial Intelligence in Games
Constraint Satisfaction and Optimization
Metaheuristic Optimization Algorithms Research
Reinforcement Learning in Robotics
+1
B
Bistra Dilkina

Dr. Allen and Charlotte Ginsburg Early Career Chair in Computer Science and Associate Professor of Computer Science

Computer Science

University of Southern California

Constraint Satisfaction and Optimization
Land Use and Ecosystem Services
Vehicle Routing Optimization Methods
Wildlife Ecology and Conservation
+1
H
Henry Kautz

Professor Emeritus of Computer Science

Computer Science

University of Rochester

Data Mining
Machine Learning
Mobile Computing
Logic, Reasoning, and Knowledge
+4
W
AI-Based Problem Solving and Planning
Artificial Intelligence in Games
Constraint Satisfaction and Optimization
Metaheuristic Optimization Algorithms Research
+1
Y
Constraint Satisfaction and Optimization
Logic, Programming, and Type Systems
Logic, Reasoning, and Knowledge
Multi-Agent Systems and Negotiation
+1
K
Kalev Kask

Continuing Lecturer and Associate Project Scientist

Computer Science

University of California, Irvine

AI-Based Problem Solving and Planning
Bayesian Modeling and Causal Inference
Constraint Satisfaction and Optimization
Data Management and Algorithms
+1
R
AI-Based Problem Solving and Planning
Bayesian Modeling and Causal Inference
Constraint Satisfaction and Optimization
Data Management and Algorithms
+1
H
Advanced Multi-Objective Optimization Algorithms
Constraint Satisfaction and Optimization
Machine Learning and Algorithms
Machine Learning and Data Classification
+1
X
Artificial Intelligence & Machine Learning
Bioinformatics & Computational Biology
Smart Grid Energy Management
Geographic Information Systems Studies
+3
L
AI-Based Problem Solving and Planning
Constraint Satisfaction and Optimization
Metaheuristic Optimization Algorithms Research
S
Advanced Combinatorial Mathematics
Constraint Satisfaction and Optimization
Distributed Systems and Fault Tolerance
M
Bayesian Modeling and Causal Inference
Computability, Logic, AI Algorithms
Cryptography and Data Security
Fault Detection and Control Systems
+4
T
Advanced Steganography and Watermarking Techniques
Constraint Satisfaction and Optimization
Explainable Artificial Intelligence (xai)
Metaheuristic Optimization Algorithms Research
+1
T
Constraint Satisfaction and Optimization
Efl/esl Teaching and Learning
Multi-Agent Systems and Negotiation
Natural Language Processing Techniques
+1
D
Diana Cukierman

University Lecturer | Faculty Teaching Fellow

Computer Science

Simon Fraser University

Constraint Satisfaction and Optimization
Innovative Teaching and Learning Methods
Online Learning and Analytics
Semantic Web and Ontologies
+1
A
Advanced Algebra and Logic
Advanced Graph Theory Research
Complexity and Algorithms in Graphs
Constraint Satisfaction and Optimization
+1
M
Constraint Satisfaction and Optimization
E-Learning and COVID-19
Formal Methods in Verification
Logic, Programming, and Type Systems
+1
2
Next