COM SCI 264A · Lec 91
Automated Reasoning: Theory and Applications
Fall 2025 is over, so there is nothing here to watch. These are the numbers as that term finished.
Seats, time, final and grades
Seats
Open, 3 seats left.
22 of 25 enrolled, lecture and all discussions summed.
Meets
MW 10:00am-11:50am
Lecture only. You also attend a discussion, listed below.
Final
Not read yet
dibs has not read this class page since it started reading exam times, so it does not know either way.
Grades
401 letter grades, Darwiche, A.Y. and Zhang, V..
Read about 1 month ago, at the end of the term. Nothing has moved since.
Put this class on a board
A board is one quarter you are drafting, so it needs an account to live in. Signing in brings you straight back to this page, with this class still in front of you.
Before you can enroll
dibs has not read this section's restrictions yet, so alerts on it are held. Check the registrar before counting on a seat.
Discussions
You enroll in the discussion, not the lecture, so the seat figure above is the sum across all of them and can read open while every discussion you could actually join is full.
1 discussion, all open.
When it meets
Meets: MW 10:00am-11:50am
Discussions: F 2:00pm-3:50pm
Boelter Hall 4760
Grades
- A range
- 51%
- P/NP
- 0%
- D/F/W
- 0.2%
What students say
dibs measures outcomes: grades, seats, how fast it fills. For what the class is actually like to sit in, BruinWalk has the reviews.
Workload, very light. 4.2 of 5 for Adnan Darwiche, where 5 is lightest. Read 30 days ago.
dibs has not read this course’s reviews, so it cannot say what kind of work it sets. That is dibs not having looked. It is not a course without papers or exams, and the reviews linked below are the answer until dibs catches up.
Will it still be here
Not a question any more: see the notice at the top of this page.
Final enrollment per term from four years of grade data. Summer excluded: different population, different pass structure.
- 3621F
- 3622F
- 5323F
- 3324F
- 3125F
Peak 53 · most recent 25F at 31
Seats over time
Unchanged over 1 minute
Both readings say 22 of 25.
A dot is a reading. Recorded enrollment counts match, so the line is flat across the whole window: it says when dibs looked rather than what changed. The last dot is the last time dibs read this section, moved or not, at the end of the term. Nothing has moved since.
Show the readings (2)
| Recorded | Enrolled | Capacity | Status | Waitlist | Hours read |
|---|---|---|---|---|---|
| 25 Aug 03:05 | 22 | 25 | open | - | 1 of 1 |
| 25 Aug 03:05 | 22 | 25 | open | - | - |
How readings and alerts work
A reading and an hourly record are different things, and most charts here hold more of the second missing than present. dibs has taken readings of a section since long before it began keeping an hour-by-hour log of when it looked, so the empty stretches are dibs saying it was not keeping that log yet, not that it looked and found nothing. That is the age of the record and not a fault.
Seat counts show the last successful read, not live availability. Refreshes can be delayed by request limits or upstream interruptions. Watched sections receive priority, but an hourly update for every section is not guaranteed.
The registrar can change a seat count between our checks. Alerts depend on dibs detecting an opening and completing delivery; a quiet watch does not prove that no seat opened. Check the registrar before enrolling.
Class chat
Nobody on dibs watches this class or has it on a plan yet. Nobody posted here.
Fall 2025 has ended, so no room can be started here now.