'Unique price' presentation slideshows

Algorithmic Derivative Trading

Algorithmic Derivative Trading. Types for CNFs. Type of a clause: Pair: (length, positive literals) Example: (2,2) for (a or b) Type of a cnf: Set union of types of clauses Example: T = ((2,2) (1,0)) for (a or b) and (b or c) and !a and !b and !c. CNF type as derivative.

56 views • 4 slides