Browsing University Archives by Subject "Satisfiability"

Navigation

Display Options

Results

  • Ray, Katrina (University of Oregon, 2008-12)
    Many algorithms are known to work well in practice on a variety of different problem instances. Reusing existing algorithms for problems besides the one that they were designed to solve is often quite valuable. This is ...

Search Scholars' Bank


Advanced Search

Browse

My Account

Statistics