Lane Olson

Publication Activity (10 Years)

Years Active: 2009-2009
Publications (10 Years): 0

Publications

Calin Anton, Lane Olson
Generating Satisfiable SAT Instances Using Random Subgraph Isomorphism. Canadian Conference on AI (2009)