Exploiting branch constraints without exhaustive path enumeration

OpenAccess Series in Informatics

Saved in:

Bibliographic Details
Main Authors:	Chen, T., Mitra, T., Roychoudhury, A., Suhendra, V.
Other Authors:	COMPUTATIONAL SCIENCE
Format:	Conference or Workshop Item
Published:	2014
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/78132
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-78132
record_format	dspace
spelling	sg-nus-scholar.10635-781322023-07-18T00:57:42Z Exploiting branch constraints without exhaustive path enumeration Chen, T. Mitra, T. Roychoudhury, A. Suhendra, V. COMPUTATIONAL SCIENCE OpenAccess Series in Informatics 1 46-49 2014-07-04T03:12:47Z 2014-07-04T03:12:47Z 2007 Conference Paper Chen, T., Mitra, T., Roychoudhury, A., Suhendra, V. (2007). Exploiting branch constraints without exhaustive path enumeration. OpenAccess Series in Informatics 1 : 46-49. ScholarBank@NUS Repository. 9783939897248 21906807 http://scholarbank.nus.edu.sg/handle/10635/78132 NOT_IN_WOS Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
description	OpenAccess Series in Informatics
author2	COMPUTATIONAL SCIENCE
author_facet	COMPUTATIONAL SCIENCE Chen, T. Mitra, T. Roychoudhury, A. Suhendra, V.
format	Conference or Workshop Item
author	Chen, T. Mitra, T. Roychoudhury, A. Suhendra, V.
spellingShingle	Chen, T. Mitra, T. Roychoudhury, A. Suhendra, V. Exploiting branch constraints without exhaustive path enumeration
author_sort	Chen, T.
title	Exploiting branch constraints without exhaustive path enumeration
title_short	Exploiting branch constraints without exhaustive path enumeration
title_full	Exploiting branch constraints without exhaustive path enumeration
title_fullStr	Exploiting branch constraints without exhaustive path enumeration
title_full_unstemmed	Exploiting branch constraints without exhaustive path enumeration
title_sort	exploiting branch constraints without exhaustive path enumeration
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/78132
_version_	1772818682424066048

Exploiting branch constraints without exhaustive path enumeration

Similar Items