← All regions

United States of America

11705 projects whose affiliated fair was here, most recently in 2026.

States and provinces

ISEF records a state or province for some finalists and not others, so these counts do not add up to the country total.

Projects

11705 projects · showing 9931–9960

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