Solving functional constraints by variable substitution

10.1017/S1471068410000591

Saved in:
Bibliographic Details
Main Authors: Zhang, Y., Yap, R.H.C.
Other Authors: COMPUTER SCIENCE
Format: Conference or Workshop Item
Published: 2013
Subjects:
Online Access:http://scholarbank.nus.edu.sg/handle/10635/41627
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
id sg-nus-scholar.10635-41627
record_format dspace
spelling sg-nus-scholar.10635-416272023-10-25T23:08:42Z Solving functional constraints by variable substitution Zhang, Y. Yap, R.H.C. COMPUTER SCIENCE Arc consistency Constraint logic programming Constraint satisfaction problem Functional constraints Variable substitution 10.1017/S1471068410000591 Theory and Practice of Logic Programming 11 2-3 297-322 2013-07-04T08:31:56Z 2013-07-04T08:31:56Z 2011 Conference Paper Zhang, Y., Yap, R.H.C. (2011). Solving functional constraints by variable substitution. Theory and Practice of Logic Programming 11 (2-3) : 297-322. ScholarBank@NUS Repository. https://doi.org/10.1017/S1471068410000591 14710684 http://scholarbank.nus.edu.sg/handle/10635/41627 000287977500007 Scopus
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Arc consistency
Constraint logic programming
Constraint satisfaction problem
Functional constraints
Variable substitution
spellingShingle Arc consistency
Constraint logic programming
Constraint satisfaction problem
Functional constraints
Variable substitution
Zhang, Y.
Yap, R.H.C.
Solving functional constraints by variable substitution
description 10.1017/S1471068410000591
author2 COMPUTER SCIENCE
author_facet COMPUTER SCIENCE
Zhang, Y.
Yap, R.H.C.
format Conference or Workshop Item
author Zhang, Y.
Yap, R.H.C.
author_sort Zhang, Y.
title Solving functional constraints by variable substitution
title_short Solving functional constraints by variable substitution
title_full Solving functional constraints by variable substitution
title_fullStr Solving functional constraints by variable substitution
title_full_unstemmed Solving functional constraints by variable substitution
title_sort solving functional constraints by variable substitution
publishDate 2013
url http://scholarbank.nus.edu.sg/handle/10635/41627
_version_ 1781411121922572288