Smten with satisfiability-based search

Document Details

Document Type
Pub Defense Publication
Publication Date
Oct 15, 2014
Source ID
10.1145/2660193.2660208

Entities

People

  • Nirav Dave
  • Richard Uhler

Organizations

  • Air Force Research Laboratory
  • Defense Advanced Research Projects Agency
  • Division of Computing and Communication Foundations
  • SRI International