### Boolean Algebra

- 35 abstract problems, 68 CNF problems
- Three basic axiomatizations
- One older ones [MOW76]
- Two equality [ANL][Ver94]

- UEQ problems and Horn problems with some equality

### Robbins' Algebra

- 27 abstract problems, 36 CNF problems
- Deals with the (now solved) problem of showing that every Robbins
algebra is Boolean.
- Major contributions from Steve Winker, extended by Larry Wos
- As with Boolean algebra, UEQ problems and Horn problems with some equality