Sage Journals: Discover world-class research

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

Retricted access

Research article

First published 1999-8

On Intuitionistic Proof Transformations,their Complexity,and Application to Constructive Program Synthesis

Uwe Egly, Stephan Schmitt

Fundamenta Informaticae

Retricted access

Research article

First published 1994-12

ON SKOLEMIZATION AND PROOF COMPLEXITY

Matthias Baaz, Alexander Leitsch

Fundamenta Informaticae

Retricted access

Research article

First published 1986

A Complete Proof System for SCCS with Modal Assertions

Glynn Winskel

Fundamenta Informaticae

Retricted access

Research article

First published 1982-01

A complete proof of Bristol's relative gain array

S. Wang, N. Munro

Transactions of the Institute of Measurement and Control

Open access

Research article

First published 2010-2

Complexity of Semialgebraic Proofs with Restricted Degree of Falsity 1 2

Edward A. Hirsch, Arist Kojevnikov, Alexander S. Kulikov [...]

Journal on Satisfiability,Boolean Modelling and Computation

Retricted access

Research article

First published 2016

Tight Lower Bounds on the Resolution Complexity of Perfect Matching Principles

Dmitry Itsykson, Vsevolod Oparin, Mikhail Slabodkin [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018-9

Urban Climate-Proof Finance for Disaster-Resilient Infrastructure

Salil K. Sen, Viput Ongsakul

Environment and Urbanization ASIA

Free access

Research article

First published 1996-11

On the Power of Compositional Proofs for Nets: Relationships Between Completeness and Modularity

B.A. Trakhtenbrot

Fundamenta Informaticae

Retricted access

Research article

First published 1992-3

The Relationship between Interest Rates and Bond Prices: A Complete Proof

Dale Bremmer, Randall Kesselring

The American Economist

Search results