More Fields

Filters

Profiles which have:

Recent Changes

Profiles with recent changes to:
Sign up to Download

1-2 of 2 results

  • www.satisfiability.org
  • 1
  • 28
The International Conferences on Theory and Applications of Satisfiability Testing are the primary annual meetings for researchers studying the propositional satisfiability problem (SAT), a prominent problem in both theoretical and applied computer..
Relevance: 7.434277
  • www.cs.washington.edu
  • 5
  • 2
  • 106
Our undergraduates are wonderfully strong, and interaction with the faculty is high. Undergraduate participation in research is common. Intensive capstone design courses are available each year. A majority of our undergraduates participate in one or..
Relevance: 2.9040241