Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 32 of 48

19th Apr 2011
A new code (Hardgen) for the Seminar on Satisfiability (NAIL092) is on line.
18th Apr 2011
Two new topics for a project or a thesis are on-line.
18th Apr 2011
An article and a presentation from CSCLP 2011 have been added to Publications section.
18th Apr 2011
Results of the alternative test from Automata and Grammars (NTIN071) are on-line.
18th Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
6th Apr 2011
A new source code from the Seminar on Satisfiability (NAIL092) is on-line.
6th Apr 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
6th Apr 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
5th Apr 2011
Results of the test from Automata and Grammars (NTIN071) are on-line.
31st Mar 2011
A new article accepted for publication (CSCLP 2011).
30th Mar 2011
Program of the Seminar on Satisfiability (NAIL092) has been updated.
30th Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
30th Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
25th Mar 2011
A new version of sigmaSAT experimental SAT solving package is on-line.
25th Mar 2011
A corrected source code from the Seminar on Satisfiability (NAIL092) is on-line.
23rd Mar 2011
Duties page of Automata and Grammars (NTIN071) has been updated.
23rd Mar 2011
A new source code from the Seminar on Satisfiability (NAIL092) is on-line.
23rd Mar 2011
Duties page of the Seminar on Satisfiability (NAIL092) has been updated.
18th Mar 2011
A new presentation from the Seminar on Satisfiability (NAIL092) is on-line.
17th Mar 2011
A topic for a project or a thesis is on-line.
|<
<
>
>|

Page 32 of 48

Copyright © 2015 - 2023 Pavel Surynek