CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS

Master's

Saved in:
Bibliographic Details
Main Author: ZHANG YUANLIN
Other Authors: INFORMATION SYSTEMS & COMPUTER SCIENCE
Format: Theses and Dissertations
Published: 2019
Online Access:https://scholarbank.nus.edu.sg/handle/10635/158835
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-158835
record_format dspace
spelling sg-nus-scholar.10635-1588352020-11-19T13:57:22Z CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS ZHANG YUANLIN INFORMATION SYSTEMS & COMPUTER SCIENCE JAFFAR JOXAN Master's MASTER OF SCIENCE 2019-09-16T02:40:06Z 2019-09-16T02:40:06Z 1999 Thesis ZHANG YUANLIN (1999). CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS. ScholarBank@NUS Repository. https://scholarbank.nus.edu.sg/handle/10635/158835 CCK BATCHLOAD 20190911
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
description Master's
author2 INFORMATION SYSTEMS & COMPUTER SCIENCE
author_facet INFORMATION SYSTEMS & COMPUTER SCIENCE
ZHANG YUANLIN
format Theses and Dissertations
author ZHANG YUANLIN
spellingShingle ZHANG YUANLIN
CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
author_sort ZHANG YUANLIN
title CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
title_short CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
title_full CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
title_fullStr CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
title_full_unstemmed CONSISTENCY TECHNIQUES FOR LINEAR ARITHMETIC AND FUNCTIONAL CONSTRAINTS
title_sort consistency techniques for linear arithmetic and functional constraints
publishDate 2019
url https://scholarbank.nus.edu.sg/handle/10635/158835
_version_ 1686108357597855744