On solving the partial MAX-SAT problem

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Saved in:

Bibliographic Details
Main Authors:	Fu, Z., Malik, S.
Other Authors:	COMPUTER SCIENCE
Format:	Conference or Workshop Item
Published:	2013
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/40376
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-40376
record_format	dspace
spelling	sg-nus-scholar.10635-403762015-01-07T20:51:07Z On solving the partial MAX-SAT problem Fu, Z. Malik, S. COMPUTER SCIENCE Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4121 LNCS 252-265 2013-07-04T08:02:54Z 2013-07-04T08:02:54Z 2006 Conference Paper Fu, Z.,Malik, S. (2006). On solving the partial MAX-SAT problem. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 4121 LNCS : 252-265. ScholarBank@NUS Repository. 3540372067 03029743 http://scholarbank.nus.edu.sg/handle/10635/40376 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
description	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE Fu, Z. Malik, S.
format	Conference or Workshop Item
author	Fu, Z. Malik, S.
spellingShingle	Fu, Z. Malik, S. On solving the partial MAX-SAT problem
author_sort	Fu, Z.
title	On solving the partial MAX-SAT problem
title_short	On solving the partial MAX-SAT problem
title_full	On solving the partial MAX-SAT problem
title_fullStr	On solving the partial MAX-SAT problem
title_full_unstemmed	On solving the partial MAX-SAT problem
title_sort	on solving the partial max-sat problem
publishDate	2013
url	http://scholarbank.nus.edu.sg/handle/10635/40376
_version_	1681082257397252096

On solving the partial MAX-SAT problem

Similar Items