Instytut Informatyki Analitycznej

Wydział Matematyki i Informatyki Uniwersytet Jagielloński

Seminaria

Generalised and Quotient Models for Random And/Or Trees and Application to Satisfiability by Antoine Genitrini and Cécile Mailler:

15.06.2016

Improved Approximation Algorithms for Hitting 3-Vertex Paths

09.06.2016

Regular Combinators for String Transformations by Rajeev Alur Adam Freilich Mukund Raghothaman

08.06.2016

Konferencja Studencka na AGH

02.06.2016

PATTERN AVOIDANCE IS NOT P RECURSIVE by SCOTT GARRABRANT AND IGOR PAK

01.06.2016

Polynomial time algorithm for finding Hamiltonian cycles in thin grid graphs

01.06.2016

Orienting triangulations - towards Schynyder woods on orientable surfaces

25.05.2016

Maker-Breaker games on random graphs

19.05.2016

NP-Completeness of a Combinator Optimization Problem by M. S. Joy and V. J. Rayward-Smith

18.05.2016

Coloring shift-chain hypergraphs

12.05.2016