A Faster Exact Algorithm to Count X3SAT Solutions

10.1007/978-3-030-58475-7_22

Saved in:

Bibliographic Details
Main Authors:	Hoi, G, Jain, S, Stephan, F
Other Authors:	DEAN'S OFFICE (SCHOOL OF COMPUTING)
Format:	Conference or Workshop Item
Published:	Springer International Publishing 2023
Subjects:	cs.DS 68Q25, 68W40
Online Access:	https://scholarbank.nus.edu.sg/handle/10635/243358
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-243358
record_format	dspace
spelling	sg-nus-scholar.10635-2433582024-04-17T03:01:34Z A Faster Exact Algorithm to Count X3SAT Solutions Hoi, G Jain, S Stephan, F DEAN'S OFFICE (SCHOOL OF COMPUTING) MATHEMATICS cs.DS cs.DS 68Q25, 68W40 10.1007/978-3-030-58475-7_22 12333 LNCS 375-391 2023-07-24T05:07:19Z 2023-07-24T05:07:19Z 2020-01-01 2023-07-21T05:47:16Z Conference Paper Hoi, G, Jain, S, Stephan, F (2020-01-01). A Faster Exact Algorithm to Count X3SAT Solutions 12333 LNCS : 375-391. ScholarBank@NUS Repository. https://doi.org/10.1007/978-3-030-58475-7_22 9783030584740 0302-9743,1611-3349 https://scholarbank.nus.edu.sg/handle/10635/243358 Springer International Publishing Elements
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	cs.DS cs.DS 68Q25, 68W40
spellingShingle	cs.DS cs.DS 68Q25, 68W40 Hoi, G Jain, S Stephan, F A Faster Exact Algorithm to Count X3SAT Solutions
description	10.1007/978-3-030-58475-7_22
author2	DEAN'S OFFICE (SCHOOL OF COMPUTING)
author_facet	DEAN'S OFFICE (SCHOOL OF COMPUTING) Hoi, G Jain, S Stephan, F
format	Conference or Workshop Item
author	Hoi, G Jain, S Stephan, F
author_sort	Hoi, G
title	A Faster Exact Algorithm to Count X3SAT Solutions
title_short	A Faster Exact Algorithm to Count X3SAT Solutions
title_full	A Faster Exact Algorithm to Count X3SAT Solutions
title_fullStr	A Faster Exact Algorithm to Count X3SAT Solutions
title_full_unstemmed	A Faster Exact Algorithm to Count X3SAT Solutions
title_sort	faster exact algorithm to count x3sat solutions
publisher	Springer International Publishing
publishDate	2023
url	https://scholarbank.nus.edu.sg/handle/10635/243358
_version_	1800915917095305216

A Faster Exact Algorithm to Count X3SAT Solutions

Similar Items