An abstract dual propositional model counter

An abstract dual propositional model counter

Various real-world problems can be formulated as the task of counting the models of a propositional formula. This problem, also called #SAT, is therefore of practical relevance. We present a formal framework describing a novel approach based on considering the formula in question together with its n...

Volledige beschrijving

Bewaard in:

Bibliografische gegevens
Hoofdauteur:	Holldobler, S.
Formaat:	Статья
Taal:	English
Gepubliceerd in:	CEUR-WS 2018
Onderwerpen:	Formal framework Non-dual Propositional formulas Real-world problem
Online toegang:	https://www.scopus.com/record/display.uri?eid=2-s2.0-85019910602&origin=resultslist&sort=plf-f&src=s&nlo=&nlr=&nls=&sid=1037d22933cbf8bcd3e6624b57a854a1&sot=aff&sdt=sisr&sl=174&s=AF-ID%28%22North+Caucasus+Federal+University%22+60070541%29+OR+AF-ID%28%22Stavropol+State+University%22+60070961%29+OR+AF-ID%28%22stavropolskij+Gosudarstvennyj+Tehniceskij+Universitet%22+60026323%29&ref=%28An+abstract+dual+propositional+model+counter%29&relpos=0&citeCnt=0&searchTerm= https://dspace.ncfu.ru/handle/20.500.12258/3068
Tags:	Voeg label toe Geen labels, Wees de eerste die dit record labelt!

Gelijkaardige items

Mangostenone Bioactive Compound from Garcinia mangostana L. as Antiviral Agent via Dual Inhibitors Against E6 HPV 16/18 Oncoprotein through Computational Simulation
door: Sizonenko, M. N., et al.
Gepubliceerd in: (2024)

Dual-state emission properties of 2-(2-carboalkoxy-3,4-dichloro-6-hydroxyphenyl)benzoxazoles and its Zn(II) and Cd(II) complexes
door: Demidov, O. P., et al.
Gepubliceerd in: (2023)

Основы разработки приложений на платформе Microsoft .NET FRAMEWORK
door: Нортроп Т., et al.

Разработка распределенных приложений на платформе Microsoft. NET FRAMEWORK
door: Морган С., et al.

Dual role of polyphosphoric acid-activated nitroalkanes in oxidative peri -annulations: Efficient synthesis of 1,3,6,8-tetraazapyrenes
door: Aksenov, A. V., et al.
Gepubliceerd in: (2018)

Dual role of polyphosphoric acid-activated nitroalkanes in oxidative peri -annulations: Efficient synthesis of 1,3,6,8-tetraazapyrenes
door: Aksenov, A. V., et al.
Gepubliceerd in: (2018)

Legal construct of usufruct in roman private law
door: Biryukov, A. A., et al.
Gepubliceerd in: (2024)

Visual C# 2012 на примерах
door: Зиборов В. В.

The weak completion semantics and counter examples
door: Holldobler, S.
Gepubliceerd in: (2021)

Frame structures in cognitive-semantic organization of narrative
door: Gusarenko, S. V., et al.
Gepubliceerd in: (2018)

COORDINATION OF REAL-TIME MODELS WITH THE PHYSICAL LEVEL OF RELAY PROTECTION DEVICES OF ELECTRICAL NETWORKS
door: Zvada, P. A., et al.
Gepubliceerd in: (2024)

On an Asymptotics of the Number of Representations of a Pair of Integers by Quadratic and Linear Forms with Congruential Condition
door: Pachev, U. M., et al.
Gepubliceerd in: (2022)

The evolution of studies on limited real rights in relation to property in roman law (republican, classical and imperial period)
door: Biryukov, A. A., et al.
Gepubliceerd in: (2019)

A core method for the weak completion semantics with skeptical abduction (extended abstract)
door: Holldobler, S.
Gepubliceerd in: (2019)

The problems of employment and unemployment on regional labor markets in the digital economy
door: Gorlov, S. M., et al.
Gepubliceerd in: (2022)

Management Accounting as an Element of the Unified Information Space for Sustainable Digital Economy
door: Gorshenin, A. Y., et al.
Gepubliceerd in: (2022)

Mathematical Modeling of Signal Processing Using Discrete Wavelet Transform and Non-Positional Modular Code
door: Kalmykov, I. A., et al.
Gepubliceerd in: (2023)

CONNECTIONIST THEORIES AND THE COGNITIVE DISCURSIVE APPROACH: FORMALISM VS. PHENOMENOLOGISM
door: Bredikhin, S. N., et al.
Gepubliceerd in: (2019)

Selected papers of the 6th all-russian conference with international participation "Physicochemical and applied problems of magnetic disperse nanosystems'', Stavropol, Russia, september 2017 PREFACE
door: Dikansky, Y. I., et al.
Gepubliceerd in: (2018)

Partial learning using partially explicit discretization for multicontinuum/multiscale problems with limited observation: Language interactions simulation
door: Tyrylgin, A. A., et al.
Gepubliceerd in: (2023)

Difference methods of solving non-local boundary value problems for a loaded generalized diffusion equation with bessel operator
door: Beshtokov, M. K., et al.
Gepubliceerd in: (2022)

Legal problems of rights tokenization to Individually defined objects in Russian legislation
door: Tokmakov, D. S., et al.
Gepubliceerd in: (2021)

Distributed management systems for infocommunication networks: a model based on tm forum frameworx
door: Mochalov, V. P., et al.
Gepubliceerd in: (2019)

Numerical solution of inverse problems in mathematical modeling of geological systems
door: Tarasenko, E. O., et al.
Gepubliceerd in: (2022)

Современный самоучитель работы в сети Интернет
door: Комягин В. Б.

Designing a Model of Cryptosecurity of Information in the System of Countering the Spread of COVID-19
door: Zhuk, A. P., et al.
Gepubliceerd in: (2023)

Humans Reason Skeptically
door: Holldobler, S.
Gepubliceerd in: (2023)

The Problem of Restoring the Unit of Approximation in the Model for Studying Functional Dependence from Approximate Data
door: Yartseva, E. P., et al.
Gepubliceerd in: (2023)

Internet Explorer 4 для Windows для "чайников"
door: Лоу Д., et al.

Analysis of attacks on robotic operation system
door: Azarov, I. V., et al.
Gepubliceerd in: (2022)

African edible insects as human food – a comprehensive review
door: Golik, A. B., et al.
Gepubliceerd in: (2024)

Фоностилистика английского языка учебное пособие на модульной основе
door: Бабиян, Т. В.

Иностранный язык (Английский) практикум
door: Губанова, Л. Г.

Dependence of Informal Employment on Population Income in Russian Regions: Lessons from the Pandemic
door: Kunitsyna, N. N., et al.
Gepubliceerd in: (2023)

Economic and organizational problem research accompanying the processes of replacing labor resources in the condition of incomplete information
door: Vanina, A. G., et al.
Gepubliceerd in: (2020)

Sustainable economic development model for agricultural holdings based on effective corporate governance
door: Gladilin, A. V., et al.
Gepubliceerd in: (2020)

Creating methodological instruments for innovation project assessment under uncertainty conditions
door: Manuylenko, V. V., et al.
Gepubliceerd in: (2018)

Estimates of mild solutions of navier–stokes equations in weak herz-type besov–morrey spaces
door: Abdulkadirov, R. I., et al.
Gepubliceerd in: (2022)

The European Union and the police of the EU member states in the beginning of the 21st century: some results and prospects
door: Vorotilina, T. V., et al.
Gepubliceerd in: (2018)

THE STUDY OF THE IMMUNE STATUS IN POST-COVID SYNDROME BY FLOW CYTOMETRY
door: Anfinogenova, O. I., et al.
Gepubliceerd in: (2023)