BINARY ENCODINGS FOR SOLVING AD-HOC CONSTRAINTS

Ph.D

Saved in:
Bibliographic Details
Main Author: WANG RUIWEI
Other Authors: COMPUTER SCIENCE
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