Discover science fair projects.

Browse real student projects, abstracts, and awards.

17565 projects · showing 14911–14940 ISEF — clear fair filter Clear all

ISEF · 2015

A Novel Algorithm for #SAT

First Award

An exact algorithm for counting the models of Boolean formulas in CNF (the #SAT problem) was developed. Unlike conventional backtracking-based approaches which measure the effect of incremen…

Save projects to your library

Sign in with Google to keep track of projects you find interesting, organized into folders. Browsing stays public.

Continue with Google