AI Chat AI Image Generator AI Video Text to Speech

Algorithms for finding dispensable variables

09/30/2009

∙

by Mikoláš Janota, et al.

∙

∙

This short note reviews briefly three algorithms for finding the set of dispensable variables of a boolean formula. The presentation is light on proofs and heavy on intuitions.

Mikoláš Janota
14 publications
Joao Marques-Silva
31 publications
Radu Grigore
4 publications

page 1

page 2

page 3

page 4

research

∙ 05/02/2022

Superredundancy: A tool for Boolean formula minimization complexity analysis

A superredundant clause is a clause that is redundant in the resolution ...

0 Paolo Liberatore, et al. ∙

research

∙ 04/04/2018

Short Proofs for Some Symmetric Quantified Boolean Formulas

We exploit symmetries to give short proofs for two prominent formula fam...

0 Manuel Kauers, et al. ∙

research

∙ 10/10/2017

A Note on Nesting in Dyadic Deontic Logic

The paper reports on some results concerning Aqvist's dyadic logic known...

0 Agneau Belanyek, et al. ∙

research

∙ 01/24/2020

Results of nested canalizing functions

Boolean nested canalizing functions (NCF) have important applications in...

0 Yuan Li, et al. ∙

research

∙ 02/25/2020

A short note on learning discrete distributions

The goal of this short note is to provide simple proofs for the "folklor...

0 Clément L. Canonne, et al. ∙

research

∙ 05/20/2020

Information Acquisition Under Resource Limitations in a Noisy Environment

We introduce a theoretical model of information acquisition under resour...

8 Matvey Soloviev, et al. ∙

research

∙ 09/03/2011

ATP and Presentation Service for Mizar Formalizations

This paper describes the Automated Reasoning for Mizar (MizAR) service, ...

0 Josef Urban, et al. ∙