Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Conjunctive normal form

Known as: CNF, Clausal form, 3-CNF 
In Boolean logic, a formula is in conjunctive normal form (CNF) or clausal normal form if it is a conjunction of clauses, where a clause is a… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
Predicate encryption is a new paradigm for public-key encryption that generalizes identity-based encryption and more. In… Expand
Highly Cited
2009
Highly Cited
2009
Energy expenses are becoming an increasingly important fraction of data center operating costs. At the same time, the energy… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Highly Cited
2004
Highly Cited
2004
We describe a new algorithm for compiling conjunctive normal form (CNF) into Deterministic Decomposable Negation Normal (d-DNNF… Expand
  • figure 1
  • figure 2
  • table 2
  • table 1
Highly Cited
1999
Highly Cited
1999
The problem of k-SAT is to determine if the given k-CNF has a satisfying solution. It is a celebrated open question as to whether… Expand
Highly Cited
1998
Highly Cited
1998
We present a technique that transforms any binary programming problem with integral coefficients to a satisfiability problem of… Expand
Highly Cited
1998
Highly Cited
1998
Abstract In the paper we present Rough Set approach to reasoning in incomplete information systems. We propose reduction of… Expand
  • table 1
  • table 2
  • table 4
  • table 5
Highly Cited
1998
Highly Cited
1998
For several NP-complete problems, there have been a progression of better but still exponential algorithms. In this paper we… Expand
Highly Cited
1994
Highly Cited
1994
It has recently been shown that local search is surprisingly good at finding satisfying assignments for certain computationally… Expand
Highly Cited
1993
Highly Cited
1993
It has recently been shown that local search is surprisingly good at nding satisfying assignments for certain classes of CNF… Expand
  • figure 1
  • table 1
  • table 2
  • table 3
  • table 4
Highly Cited
1987
Highly Cited
1987
Typographical Conventions 1 Introduction 1.1 Bibliographical and Historical Remarks Exercises 2 Declarative Knowledge 2.1… Expand