Skip to main navigation
Skip to search
Skip to main content
JKU & KUK Research Portal Home
Help & FAQ
Link opens in a new tab
English
Deutsch
Search content at JKU & KUK Research Portal
Home
Research units
Profiles
Research output
Projects
Activities
Datasets
Prizes
Press/Media
9th Intl. Conference on Theory and Applications of Satisfiability Testing - SAT'06
N. N. (Organiser)
Institute of Formal Models and Verification
Activity
:
Participating in or organising an event
›
Organising a conference, workshop, ...
Period
11 Aug 2006
→
15 Aug 2006
Event type
Conference
Location
United States
Show on map
Fields of science
102 Computer Sciences