Encyclopedia >

  Article Content

Warning: include(/home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/na/) [function.include]: failed to open stream: No such file or directory in /home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/index.php on line 210

Warning: include() [function.include]: Failed opening '/home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/na/' for inclusion (include_path='.:/usr/share/pear:/usr/share/php') in /home/kidsnetau/encyclopedia/wiki/tero-dump/wikipedia/index.php on line 210


All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Satisfiability problem

... logic is NP-complete, as is that of its variant 3-satisfiability[?]. (There is also such a thing as satisfiability of formulas of first-order and second-order ...