Counting for satisfiability by inverting resolution

10.1007/s10462-004-4329-2

Saved in:

Bibliographic Details
Main Author:	Andrei, S.
Other Authors:	SINGAPORE-MIT ALLIANCE
Format:	Article
Published:	2014
Subjects:	Algorithms Counting truth assignments Satisfiability
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/114631
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore

id	sg-nus-scholar.10635-114631
record_format	dspace
spelling	sg-nus-scholar.10635-1146312023-10-25T21:27:40Z Counting for satisfiability by inverting resolution Andrei, S. SINGAPORE-MIT ALLIANCE Algorithms Counting truth assignments Satisfiability 10.1007/s10462-004-4329-2 Artificial Intelligence Review 22 4 339-366 AIRVE 2014-12-02T08:39:03Z 2014-12-02T08:39:03Z 2004-12 Article Andrei, S. (2004-12). Counting for satisfiability by inverting resolution. Artificial Intelligence Review 22 (4) : 339-366. ScholarBank@NUS Repository. https://doi.org/10.1007/s10462-004-4329-2 02692821 http://scholarbank.nus.edu.sg/handle/10635/114631 000225323000003 Scopus
institution	National University of Singapore
building	NUS Library
continent	Asia
country	Singapore Singapore
content_provider	NUS Library
collection	ScholarBank@NUS
topic	Algorithms Counting truth assignments Satisfiability
spellingShingle	Algorithms Counting truth assignments Satisfiability Andrei, S. Counting for satisfiability by inverting resolution
description	10.1007/s10462-004-4329-2
author2	SINGAPORE-MIT ALLIANCE
author_facet	SINGAPORE-MIT ALLIANCE Andrei, S.
format	Article
author	Andrei, S.
author_sort	Andrei, S.
title	Counting for satisfiability by inverting resolution
title_short	Counting for satisfiability by inverting resolution
title_full	Counting for satisfiability by inverting resolution
title_fullStr	Counting for satisfiability by inverting resolution
title_full_unstemmed	Counting for satisfiability by inverting resolution
title_sort	counting for satisfiability by inverting resolution
publishDate	2014
url	http://scholarbank.nus.edu.sg/handle/10635/114631
_version_	1781789299272843264

Counting for satisfiability by inverting resolution

Similar Items