Discover science fair projects.

Browse real student projects, abstracts, and awards.

267 projects · showing 181–210 First Award — clear award 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. An account also raises your daily allowance for “Has this been done?”, and lets you create a key for the MCP server with a much higher limit than anonymous use. Browsing stays public.

Continue with Google