Quantifizierte Boolesche Formeln: Komplexität und Modellierung

量化布尔公式:复杂性和建模

基本信息

项目摘要

Ziel des Projektes ist es, ein besseres Verständnis quantifizierter Boolescher Formeln im Hinblick auf die Modellierung und die effiziente Verarbeitung zu erreichen. Im Einzelnen stehen dabei Fragen der Ausdrucksmächtigkeit von Teilklassen quantifizierter Boolescher Formeln mit freien Variablen, der Charakterisierung minimal falscher Formeln mit fester Deficiency und die Erweiterung von quantifizierten Booleschen Formeln um partiell geordnete Quantoren im Vordergrund. Aus methodischer Sicht wird hier weitgehend eine modelltheoretische Herangehensweise verfolgt.
他说:“这是一件非常重要的事情,因为它是一件非常重要的事情。我是Einzelnen stehen dabe Fragen der Ausdrucksmächtigkeit von Teilkraassen Quantifiziter Boolescher Formeln MIT Freien Variablen,der Charakterisierung Minimum Folscher Formeln MIT fester Defect and die Erweterung von Quantifizierten Booleschen Formeln um Parellell Geordnete Quantoren Im Vorderdergrund。我们的方法论是这样的:我们的方法论是正确的,我们的理论是正确的。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Hans Kleine Büning其他文献

Professor Dr. Hans Kleine Büning的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Hans Kleine Büning', 18)}}的其他基金

Automatisierung der Modellierung passiver physikalischer Systeme unter Verwendung der Theorie der Wellendigitalfilter
使用波数字滤波器理论对无源物理系统进行自动建模
  • 批准号:
    5195878
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Minimal unsatisfiable formulas: structure and algorithms
最小不可满足公式:结构和算法
  • 批准号:
    5160944
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似海外基金

Linear-Algebraische Berechnungsmodelle für Boolesche Funktionen und ihre Anwendung
布尔函数的线性代数计算模型及其应用
  • 批准号:
    5146058
  • 财政年份:
    1999
  • 资助金额:
    --
  • 项目类别:
    Research Grants
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了