Search engine for discovering works of Art, research articles, and books related to Art and Culture
Javascript must be enabled to continue!
New Results for Horn Cores and Envelopes of Horn Disjunctions
View through CrossRef
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs that has appealing properties (e.g., it is polynomial for a bounded disjunction). Furthermore, we show that recognizing the Horn envelope of a disjunction of two Horn CNFs is intractable, and that computing a compact Horn CNF for it (that is irredundant and prime) is not feasible in polynomial total time unless P=NP; this answers an open problem.
Title: New Results for Horn Cores and Envelopes of Horn Disjunctions
Description:
We provide a characterization of Horn cores for formulas in conjunctive normal form (CNF) and, based on it, a novel algorithm for computing Horn cores of disjunctions of Horn CNFs that has appealing properties (e.
g.
, it is polynomial for a bounded disjunction).
Furthermore, we show that recognizing the Horn envelope of a disjunction of two Horn CNFs is intractable, and that computing a compact Horn CNF for it (that is irredundant and prime) is not feasible in polynomial total time unless P=NP; this answers an open problem.
Related Results
Permeability models for carbonate fault cores
Permeability models for carbonate fault cores
<p>The present contribution focuses on carbonates fault cores exposed in central and southern Italy, which crosscut Mesozoic limestones and dolostones, pertain to 10&...
Horn growth patterns of Nubian ibex from the Sinai, Egypt
Horn growth patterns of Nubian ibex from the Sinai, Egypt
Abstract
Documenting patterns of horn growth and horn-age relationships of Nubian ibex (Capra nubiana) can contribute to a more comprehensive understanding of their ...
An abstract form of the first epsilon theorem
An abstract form of the first epsilon theorem
Abstract
We present a new method of computing Herbrand disjunctions. The up-to-date most direct approach to calculate Herbrand disjunctions is based on Hilbert’s eps...
The pregnancy outcomes of patients with a rudimentary uterine horn v1
The pregnancy outcomes of patients with a rudimentary uterine horn v1
Objectives: To evaluate the presentation, assessment, treatment, and pregnancy outcomes of 22 women with a rudimentary uterine horn. Methods: We reviewed the data regarding the out...
Acidizing Sandstone Formations Using a Sandstone Acid System For High Temperatures
Acidizing Sandstone Formations Using a Sandstone Acid System For High Temperatures
Abstract
Regular mud acid mixtures have been extensively used to stimulate sandstone formations; however, the use of this acid in a deep well has some major drawback...
A Fracture Mechanics-Based Approach to Establish Minimum Pressurization Temperature Envelopes
A Fracture Mechanics-Based Approach to Establish Minimum Pressurization Temperature Envelopes
Preventing brittle fracture is an essential part of instituting life-cycle management strategies for fixed pressure equipment. Using fracture mechanics principles to establish perm...
Performance Based Envelopes: A Theory of Spatialized Skins and the Emergence of the Integrated Design Professional
Performance Based Envelopes: A Theory of Spatialized Skins and the Emergence of the Integrated Design Professional
Realigning the design of building envelopes within the measures of air, light and heat has rendered possible an inventive form of practice whose benefits are far in excess of the m...
Pilot implementation of short message service for randomisation in a multisite pragmatic factorial clinical trial in Kenya
Pilot implementation of short message service for randomisation in a multisite pragmatic factorial clinical trial in Kenya
AbstractThe traditional use of sealed envelopes for randomisation is susceptible to manipulation and the risk of damage to envelopes during shipping and at storage. Additionally, t...