Distributed SAT solving engine

Master's

Saved in:

Bibliographic Details
Main Author:	MAI DANG QUANG HUNG
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2012
Subjects:	Boolean Satisfiability Problem, Distributed Systems, Constraint Programming, Combinatorial Optimization
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/30691
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-30691
record_format	dspace
spelling	sg-nus-scholar.10635-306912017-10-21T08:04:11Z Distributed SAT solving engine MAI DANG QUANG HUNG COMPUTER SCIENCE YAP HOCK CHUAN, ROLAND Boolean Satisfiability Problem, Distributed Systems, Constraint Programming, Combinatorial Optimization Master's MASTER OF SCIENCE 2012-02-29T18:00:32Z 2012-02-29T18:00:32Z 2011-08-15 Thesis MAI DANG QUANG HUNG (2011-08-15). Distributed SAT solving engine. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/30691 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Boolean Satisfiability Problem, Distributed Systems, Constraint Programming, Combinatorial Optimization
spellingShingle	Boolean Satisfiability Problem, Distributed Systems, Constraint Programming, Combinatorial Optimization MAI DANG QUANG HUNG Distributed SAT solving engine
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE MAI DANG QUANG HUNG
format	Theses and Dissertations
author	MAI DANG QUANG HUNG
author_sort	MAI DANG QUANG HUNG
title	Distributed SAT solving engine
title_short	Distributed SAT solving engine
title_full	Distributed SAT solving engine
title_fullStr	Distributed SAT solving engine
title_full_unstemmed	Distributed SAT solving engine
title_sort	distributed sat solving engine
publishDate	2012
url	http://scholarbank.nus.edu.sg/handle/10635/30691
_version_	1681080975410331648

Similar Items