Matches in VIAF for { <http://viaf.org/viaf/261643477> ?p ?o. }
Showing items 1 to 10 of
10
with 100 items per page.
- 261643477 alternateName "International Conference on Theory and Applications of Satisfiability Testing".
- 261643477 alternateName "International conference on theory and applications of satisfiability testing (14 : 2011 : Ann Arbor, Mich.)".
- 261643477 alternateName "SAT 14 2011 Ann Arbor, Mich".
- 261643477 alternateName "SAT 2011".
- 261643477 name "International conference on theory and applications of satisfiability testing".
- 261643477 name "SAT".
- 261643477 sameAs 16161318-4.
- 261643477 sameAs id.
- 261643477 type Organization.
- 261643477 seeAlso skos:Concept.