Results 271 to 275 of about 494,310 (275)

Categorisation of Clauses in Conjunctive Normal Forms: Minimally Unsatisfiable Sub-clause-sets and the Lean Kernel

Lecture Notes in Computer Science, 2006
Oliver Kullmann, Inés Lynce, João Marques-Silva   +2 more
exaly  

LitANFIS: Literal-aware Adaptive Neuro-Fuzzy Inference System to learn Conjunctive Normal Form

Neurocomputing
Armin Salimi-Badr
exaly  

The Representational Power of Conjunctive Normal Form.

Thomas O'Neil, Jason Smith
openaire  

α-automated reasoning method based on regular generalized conjunctive normal form of LP(X)

exaly  

Solving QBF by Combining Conjunctive and Disjunctive Normal Forms.

openaire   +1 more source