Index of /~ciaran/talks

 Name                                              Last modified      Size  Description
 Parent Directory                                                       -   
 2013-10-gpg-parallel-branch-and-bound.pdf         2013-10-07 18:10  150K  
 2013-11-fata-cliques.pdf                          2013-11-19 15:30  436K  
 2013-11-fata-cliques/                             2013-11-19 17:28    -   
 2013-12-gpg-five-minutes.pdf                      2013-12-10 20:13   87K  
 2014-02-fata-biclique.pdf                         2014-02-11 14:14  284K  
 2014-02-fata-biclique/                            2014-02-14 15:26    -   
 2014-05-cpaior-biclique.pdf                       2014-05-16 11:40  242K  
 2014-06-sicsa-hard-graph-problems-in-parallel.pdf 2014-06-08 19:35  613K  
 2014-06-standrews.pdf                             2014-06-17 12:57  664K  
 2014-09-cp-clique.pdf                             2014-09-09 16:45  640K  
 2014-09-cp-dp.pdf                                 2014-09-04 16:05  579K  
 2014-12-fata.pdf                                  2014-12-02 15:07  1.6M  
 2015-02-fata.pdf                                  2015-02-17 14:37  615K  
 2015-04-combinatorics.pdf                         2015-04-30 09:32  7.4M  
 2015-05-gpg-parallel-backjumping.pdf              2015-05-13 12:07  7.8M  
 2015-06-array.pdf                                 2015-06-11 22:11  7.3M  
 2015-06-overview.pdf                              2015-06-19 12:57  7.3M  
 2015-3mt.pdf                                      2015-03-09 11:42   13K  
 2015-3mt.png                                      2015-03-09 11:43   50K  
 2015-10-overview-for-dundee.pdf                   2015-10-15 22:15  4.0M  
 2015-10-really-hard-sip.pdf                       2015-10-20 15:21  3.5M  
 2015-12-overview-for-toronto.pdf                  2016-03-25 02:10  4.3M  
 2015-cp-dp.pdf                                    2015-08-29 22:57  8.1M  
 2015-cp-sip.pdf                                   2015-09-07 10:20  4.5M  
 2015-se-review.pdf                                2015-03-17 12:45  7.2M  
 2018-bctcs-talk.pdf                               2019-02-19 11:49  5.3M  
 2018-bctcs.pdf                                    2018-03-28 11:57  5.3M  
 2018-fata-sip-in-practice.pdf                     2018-02-19 12:44  1.3M  
 2018-intro-to-cp.pdf                              2019-02-19 11:48   13M  
 2018-ismp.pdf                                     2018-07-04 16:29   13M  
 2019-cp-optimisation.pdf                          2019-10-02 19:07   14M  
 2019-kista-talk.pdf                               2019-06-19 13:42   13M  
 2019-kth-talk.pdf                                 2019-03-31 20:36   16M  
 2019-solvers-with-proofs.pdf                      2019-08-09 16:09   16M  
 2020-06-icgt-gss.pdf                              2020-06-26 11:39   12M  
 2020-06-mcsplitproofs.pdf                         2020-06-22 11:30   12M  
 2020-montreal.pdf                                 2020-02-14 00:51   13M  
 2021-intro-to-cp.pdf                              2021-01-11 23:17   13M  
 2021-simons-clique.pdf                            2021-03-16 14:59   16M  
 2021-trustworthy-cp-propaganda.pdf                2022-01-03 20:31   14M  
 2022-dagstuhl-cp-for-sat.pdf                      2023-01-11 17:09   13M  
 2023-copenhagen.pdf                               2023-06-02 20:55   13M  
 2023-fata-dp-proofs.pdf                           2023-12-12 21:35   12M  
 2023-gwics.pdf                                    2023-11-06 20:25   12M  
 2023-nordconsnet.pdf                              2023-06-21 20:50   13M  
 2023-sat-smt-sip.pdf                              2023-12-12 21:35   14M  
 2023-sat2025inglasgow.pdf                         2023-07-06 22:19   15M  
 2023-scm.pdf                                      2023-05-28 16:41   12M  
 2023-sip-for-sat.pdf                              2023-12-12 16:04   14M  
 2023simons.pdf                                    2023-04-19 04:01   14M  
 201902-fata.pdf                                   2019-02-19 11:43   11M  
 cp2016-dp.pdf                                     2016-09-03 15:30  1.1M  
 cpaior2019.pdf                                    2019-06-07 11:48   13M  
 global-constraints.pdf                            2023-10-25 08:59  8.5M  
 ijcai-dc2016.pdf                                  2016-07-04 13:14  3.7M  
 ijcai2016.pdf                                     2016-07-04 11:24  4.3M  
 kth.pdf                                           2017-03-09 20:41  5.2M  
 lyon.pdf                                          2017-05-09 12:53  5.3M  
 raeng.pdf                                         2016-07-04 22:12  3.7M  
 raeng2020-internal.pdf                            2020-07-07 15:14  3.7M  
 sat2025-pitch.tar.bz2                             2023-07-06 22:20   14M  
 short-sip-talk.pdf                                2019-05-22 14:33  4.7M  
 socs2016.pdf                                      2016-07-08 02:37  3.7M