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

Polynomial time algorithm for finding Hamiltonian cycles in thin grid graphs

01.06.2016

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

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