10:07:24	 From  Thomas Del Vecchio : The “reason” why a certain expression is unsat/a pattern of solutions?
10:07:35	 From  Gene Siriviboon : Recursive expression?
10:08:18	 From  Max Heller : A way to work with problems that don't have finite bounds
10:08:58	 From  Daniel Kostovetsky : approximation
10:09:00	 From  Jiahao Yuan : Linear & Integer programming?
10:13:59	 From  Thomas Del Vecchio : It gives a stream of instances up to isomorphism?
10:14:11	 From  Mia Santomauro : unsat
10:17:20	 From  Spencer Dellenbaugh : Is that why it's hard to implement a previous button?
10:18:34	 From  Thomas Del Vecchio : P q ~r
10:19:09	 From  Mia Santomauro : not p not q r
10:25:13	 From  christopher : You kind of want to show _why_ those cases work. In those cases, you could just say {p,q} and not mention r
10:30:47	 From  Daniel Kostovetsky : p q ~r is true
10:33:02	 From  Jiahao Yuan : like advance evaluation?
10:35:04	 From  Daniel Kostovetsky : They all point to the same thing (0|1)
10:35:05	 From  christopher : Use a heap
10:35:18	 From  christopher : Or some other packed data structure
10:36:09	 From  Daniel Kostovetsky : Wouldn’t we still need to store all of the pointers?
10:36:33	 From  christopher : But the pointer is probably larger than the struct representing true or false?
10:38:05	 From  christopher : Yeah why does it have a double edge?
10:38:16	 From  christopher : Or, for if it is true or false, nvm
10:38:58	 From  Mary Loukidi-Papanikoli : Its value does not matter; it's going to be true anyway. We can remove one of the edges (?).
10:39:02	 From  Mary Loukidi-Papanikoli : If not the entire thing?
10:40:00	 From  christopher : This still doesn’t get all of the dont-cares though because we would get different ones if r was the root
10:40:44	 From  christopher : They completely determine the result
10:40:51	 From  Mary Loukidi-Papanikoli : We could merge them
10:40:51	 From  Ben Ryjikov : they both come from the same node
10:40:55	 From  Ben Ryjikov : and they both point to the same ones
10:40:59	 From  Max Heller : The q node isn't pulling its weight
10:42:18	 From  Mary Loukidi-Papanikoli : So we can also get rid of q, right?
10:42:31	 From  Mary Loukidi-Papanikoli : On this side of the tree
10:46:20	 From  Daniel Kostovetsky : So what’s the complexity of this… thing?
10:49:11	 From  christopher : Just 0
10:53:06	 From  Mark Lavrentyev : 2951o