COM SCI 264A · Lec 91
Automated Reasoning: Theory and Applications
dibs reads this section's seats hourly, like everything else, but it does not send alerts for graduate courses yet.
Seats, time, final and grades
Seats
Open, 31 seats left.
8 of 39 enrolled, lecture and all discussions summed.
Meets
MW 10:00am-11:50am
Lecture only. You also attend a discussion, listed below.
Final
Tue 8 Dec, 8:00am to 11:00am
One exam for the whole class, Los Angeles time.
Read 2 days ago.
Grades
401 letter grades, Darwiche, A.Y. and Ji, A..
Read 50 minutes ago. This is a recent reading, not a live seat count.
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
Registrar's Restrictions cell, read 2 days ago: "Master of Engineering".
From the registrar
Students who enroll in upper-division courses offered by the Samueli School without completing the requisites are subject to disenrollment after the second class meeting. If necessary, consult with an OASA counselor through MyUCLA Message Center.
Restrictions read 2 days ago. dibs re-reads these slowly because they rarely change, and it does not sweep graduate courses at all, so this one has no faster cadence to move to. Check the registrar.
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 8500
Grades
- A range
- 51%
- P/NP
- -
- letter grade only
- 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
Freed 1 seat over about 2 months
A dot is a reading where something moved: the seat count, the status, or the waitlist. Flat between dots joins recorded counts; changes between reads may be missed. The line starts when dibs first saw this section rather than reaching back before it existed. The last one is the last time dibs read this section, moved or not: 50 minutes ago.
Show the readings (18)
| Recorded | Enrolled | Capacity | Status | Waitlist | Hours read |
|---|---|---|---|---|---|
| 1 Oct 18:33 | 8 | 39 | open | 0 of 7 | 15 of 47 |
| 29 Sep 20:12 | 8 | 39 | open | 0 of 7 | 30 of 96 |
| 25 Sep 21:42 | 9 | 39 | open | 0 of 7 | 2 of 4 |
| 25 Sep 18:32 | 10 | 39 | open | 0 of 7 | 2 of 4 |
| 25 Sep 15:02 | 9 | 39 | open | 0 of 7 | 20 of 63 |
| 23 Sep 01:32 | 10 | 39 | open | 0 of 7 | 2 of 4 |
| 22 Sep 22:02 | 12 | 39 | open | 0 of 7 | 3 of 8 |
| 22 Sep 15:42 | 11 | 39 | open | 0 of 7 | 35 of 100 |
| 18 Sep 12:52 | 12 | 39 | open | 0 of 7 | 2 of 3 |
| 18 Sep 10:22 | 11 | 39 | open | 0 of 7 | 14 of 40 |
| 16 Sep 19:22 | 12 | 39 | open | 0 of 7 | 3 of 7 |
| 16 Sep 13:32 | 13 | 39 | open | 0 of 7 | 21 of 64 |
| 13 Sep 22:32 | 12 | 39 | open | 0 of 7 | 31 of 145, 74 no hourly record |
| 7 Sep 22:40 | 11 | 39 | open | 0 of 7 | no hourly record |
| 7 Sep 21:40 | 10 | 39 | open | 0 of 7 | no hourly record |
| 7 Sep 05:40 | 11 | 39 | open | 0 of 7 | no hourly record |
| 24 Aug 13:40 | 10 | 39 | open | 0 of 7 | no hourly record |
| 17 Aug 15:07 | 9 | 39 | open | 0 of 7 | - |
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 has posted yet.
Reading a room needs no account. Posting does, and it is free.