Loading

BruinTree is an independent student project. It is not affiliated with, endorsed by, or sponsored by UCLA or the University of California. Where this comes from›

Course information comes from the public UCLA General Catalog. Requisites are read from UCLA’s published wording and can be incomplete or out of date — check the official catalog listing and your department adviser before you enroll.

UCLA, Bruin, and related marks are trademarks of The Regents of the University of California.

Report a problem

Anonymous, and it takes a sentence. This is the main way BruinTree finds out what it has got wrong.

What kind of problem

A requisite is wrongCourse details are wrongSomething is brokenIdea or request

What were you doing, and what happened instead?Email, if you want a reply — optional

Sends this page’s address and your browser version. Nothing else.

COM SCI 264A

Automated Reasoning: Theory and Applications

Requisite: course 161.

6 courses across 2 departments · 4 requisite links run off the edge of this view

requiredone of severalclick a course to read it · double-click to redraw the map around it