Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at University of St Andrews Research Portal
Home
Profiles
Research output
Datasets
Research units
Equipment
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Non-binary quantified CSP: algorithms and modelling
Peter Nightingale
School of Computer Science
Centre for Interdisciplinary Research in Computational Algebra
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Projects
(1)
Fingerprint
Dive into the research topics of 'Non-binary quantified CSP: algorithms and modelling'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Proof-of-Concept
100%
Problem Approach
100%
Constraint Propagation
100%
Computer Science
Constraint Satisfaction Problems
100%
Scheduling Problem
28%
Probability Threshold
14%
Constraint Propagation
14%
Proof
14%