Theory and Applications of Satisfiability Testing
Description
The International Conference on Theory and Applications of Satisfiability Testing is the primary annual meeting for researchers studying the propositional satisfiability problem (SAT). See www.satisfiability.org for information on previous meetings.
...
» more
Where and When
|
||||||
Were you there?
 |
Log in to add this conference to your personal conference calendar.
0 users watched 0 users attended |
Are you the conference organizer?
Contact us to claim ownership of this page
Report a Problem With This Conference
Click here to report a problem
|
| Overall Conference Rating: |
No attendees have reviewed this conference yet. |
More Details
| Categories: | Computers and Internet Information Technology |
| Subcategories: | Hardware / Software Application Development |
| Web Site: | http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT... |
| Agenda: | http://wwwcs.uni-paderborn.de/cs/ag-klbue/en/research/SAT... |
| Producer/Organizer: | Prof. Dr. Hans Kleine Büning |
