You are on the new improved site. You can view the old site in view-only mode here until June 27, 2026

Filter Results

Search all journals

Enter search terms…

Advanced search

/

About

About Sage
About Sage Journals
Privacy Policy
Terms of Use
Contact Us
Help

Information for

Authors
Editors
Librarians
Researchers
Reviewers
Frequently asked questions

Copyright © 2026 by Sage Publications.京ICP备09090397号-11

Search results

Search results page

Articles (7)

Journals (0)

1-7 of 7 results for propositional model counting

Sort by:

Relevance

Select all

Select all

Sort by:

Relevance

Select article: Proof Complexity of Propositional Model Counting

Open access

Research article

First published 2024-6

Proof Complexity of Propositional Model Counting

Olaf Beyersdorff, Tim Hoffmann, Luc N. Spachmann

Journal on Satisfiability,Boolean Modelling and Computation

Select article: Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

Retricted access

Research article

First published 2013-4

Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

Robert Ganian, Petr Hliněný, Jan Obdržálek

Fundamenta Informaticae

Select article: Update and Abstraction in Model Checking of Knowledge and Branching Time

Retricted access

Research article

First published 2006-8

Update and Abstraction in Model Checking of Knowledge and Branching Time

N.V. Shilov, N.O. Garanina, K.-M. Choe

Fundamenta Informaticae

Select article: Comprehension and Recoding-Time of Transformed Sentences

Retricted access

Research article

First published 1971-10

Comprehension and Recoding-Time of Transformed Sentences

Hugh B.G. Thomas, Francis J. Huff

Language and Speech

Select article: Optimal Taxation and Public Goods

Retricted access

Research article

First published 1983-04

Optimal Taxation and Public Goods

J. Moreh

Public Finance Review

Select article: Environmental Design and Neighborhood Context: A Multi-level Analysis of Crime at Apartments in Cincinnati Neighborhoods

Retricted access

Research article

First published 2021-11

Environmental Design and Neighborhood Context: A Multi-level Analysis of Crime at Apartments in Cincinnati Neighborhoods

Rustu Deryol, Troy Payne

Crime & Delinquency

Select article: Peace for our time? Examining the effect of power-sharing on postwar rebellions

Retricted access

Research article

First published 2020-9

Peace for our time? Examining the effect of power-sharing on postwar rebellions

Journal of Peace Research

1
10 / page

Article type

Publication date

Subjects

Access