Pavel SURYNEK

Publications

Research

Teaching



News


List of All News
|<
<
>
>|


Page 45 of 46

31st May 2009
Results of the test from NTIN071 are on-line.
27th May 2009
Results of the test from NTIN060 are on-line.
23rd May 2009
New documents from conferences ICRA and FLAIRS are on-line.
1st May 2009
Research section updated.
30th Apr 2009
Activities section updated.
24th Apr 2009
The number of required activity points for NTIN071 announced.
24th Apr 2009
The number of required activity points for NTIN060 announced.
18th Apr 2009
Results of the alternative test from NTIN071 are on-line.
18th Apr 2009
Results of the alternative test from NTIN060 are on-line.
9th Apr 2009
Results of the alternative test from NTIN071 are on-line.
8th Apr 2009
Results of the test from NTIN071 are on-line.
8th Apr 2009
Results of the alternative test from NTIN060 are on-line.
6th Apr 2009
Results of the test from NTIN060 are on-line.
5th Apr 2009
Papers on clause learning at Seminar on Satisfiability are listed on-line.
26th Mar 2009
New documents at Seminar on Satisfiability (problems, source code, ...).
26th Mar 2009
Number of marks (activity, presence, ...) at NTIN071 updated.
26th Mar 2009
Number of marks (activity, presence, ...) at NTIN060 updated.
19th Mar 2009
Date of a test from NTIN071 announced.
19th Mar 2009
Date of a test from NTIN060 announced.
12th Mar 2009
Program and materials for Seminar on Satisfiability updated.
|<
<
>
>|

Page 45 of 46

Copyright © 2015 - 2021 Pavel Surynek