We introduce conservative integrators for long term integration of piece...
Satisfiability of boolean formulae (SAT) has been a topic of research in...
We develop a discrete theory of vector bundles with connection that is
n...
A propositional logic sentence in conjunctive normal form that has claus...