BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS
Ph.D
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2023
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/242659 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
id |
sg-nus-scholar.10635-242659 |
---|---|
record_format |
dspace |
spelling |
sg-nus-scholar.10635-2426592023-06-30T18:01:44Z BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS WANG RUIWEI COMPUTER SCIENCE Hock Chuan Roland Yap Constraint Satisfaction Problem, Binary Encoding, Ad-Hoc Constraint, Binary Constraint, GAC Propagator, CNF Encoding Ph.D DOCTOR OF PHILOSOPHY (SOC) 2023-06-30T18:01:44Z 2023-06-30T18:01:44Z 2023-01-10 Thesis WANG RUIWEI (2023-01-10). BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/242659 0009-0008-2832-1523 en |
institution |
National University of Singapore |
building |
NUS Library |
continent |
Asia |
country |
Singapore Singapore |
content_provider |
NUS Library |
collection |
ScholarBank@NUS |
language |
English |
topic |
Constraint Satisfaction Problem, Binary Encoding, Ad-Hoc Constraint, Binary Constraint, GAC Propagator, CNF Encoding |
spellingShingle |
Constraint Satisfaction Problem, Binary Encoding, Ad-Hoc Constraint, Binary Constraint, GAC Propagator, CNF Encoding WANG RUIWEI BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
description |
Ph.D |
author2 |
COMPUTER SCIENCE |
author_facet |
COMPUTER SCIENCE WANG RUIWEI |
format |
Theses and Dissertations |
author |
WANG RUIWEI |
author_sort |
WANG RUIWEI |
title |
BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
title_short |
BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
title_full |
BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
title_fullStr |
BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
title_full_unstemmed |
BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS |
title_sort |
binary encodings for solving ad-hoc constraints |
publishDate |
2023 |
url |
https://scholarbank.nus.edu.sg/handle/10635/242659 |
_version_ |
1770563441813094400 |