Skip to search formSkip to main contentSkip to account menu

Negation normal form

Known as: NNF, Negational normal form, Normal form 
In mathematical logic, a formula is in negation normal form if the negation operator (, not) is only applied to variables and the only other allowed… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
In this paper, we present a general-purpose solution to interactive texture transfer problems that better preserves both local… 
2018
2018
Although the matching technique has been studied in various areas of computer vision for decades, efficient dense correspondence… 
Highly Cited
2016
Highly Cited
2016
As a key component in many computer vision systems, optical flow estimation, especially with large displacements, remains an open… 
Highly Cited
2015
Highly Cited
2015
We introduce JumpCut, a new mask transfer and interpolation method for interactive video cutout. Given a source frame for which a… 
2008
2008
Various problems in artificial intelligence can be solved by translating them into a quantified boolean formula (QBF) and… 
Highly Cited
2004
Highly Cited
2004
  • Adnan Darwiche
  • European Conference on Artificial Intelligence
  • 2004
  • Corpus ID: 9955285
We describe a new algorithm for compiling conjunctive normal form (CNF) into Deterministic Decomposable Negation Normal (d-DNNF… 
Highly Cited
2002
Highly Cited
2002
We present a compiler for converting CNF formulas into deterministic, decomposable negation normal form (d-DNNF). This is a… 
Highly Cited
2001
Highly Cited
2001
Knowledge compilation has been emerging recently as a new direction of research for dealing with the computational intractability… 
Highly Cited
1999
Highly Cited
1999
  • Adnan Darwiche
  • International Joint Conference on Artificial…
  • 1999
  • Corpus ID: 893431
We propose a method for compiling propositional theories into a new tractable form that we refer to as decomposable negation… 
Highly Cited
1997
Highly Cited
1997
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verication…