Tag Archives: toronto

New paper accepted

I am happy to inform you that my paper “Abstract Cores in Implicit Hitting Set MaxSat Solving” has been accepted to the SAT 2020 conference.

The paper proposes an improvement to the so called Implicit Hitting Set-based approach to exact MaxSAT solving. The paper summarises the work we did with professor Fahiem Bacchus and MSc, Alex Poole during my visit to Toronto last year. I am exited by the paper. Thanks to both of my co-authors!

I will add the paper to these pages once the camera ready version has been submitted.

 

Resedagbok 10: Chride & Atlanta

Har just kommit tillbaka från Atlanta efter ett långt veckoslut i lite sydligare breddgrader. Resan ner dit samt denna sida gav mig en mycket konkretare ide om hur mycket golfströmmen inverkar på klimatet i Europa. Då man kommer till toronto så känns vädret ganska likt Helsingfors, kanske lite kallare. Detta fick mig ganska snabbt att tänka på nordamerika som att “toronto är helsingfors/finland och då atlanta är 2h söderut med flyg så är det ungefär polen/vitryssland, eller något liknande”. Fastän jag nog objektivt visste att det inte riktigt är såhär så insåg jag det ordentligt först från kartan som finns på sidan jag länkade. Toronto ligger på ungefär samma breddgrader som mitten av Italien, och Atlanta på samma bredgrader som Israel. Måst alltså vara helt skitkallt i typ yellowknife som ligger på samma breddgrader som Oslo. Slutsatsen som man måst ta är att vi måst sluta säga att Finland är ett kallt land. Med tanke på breddgraderna som Finland ligger på är det egentligen ett varmt land. Ett annat sätt att se på saken är, att om Finland skulle vara på samma breddgrader på södra halvklotet, skulle största delen av landet ligga på sydpolen.

Nojaa, tillbaka till pointen :). Efter musikalen på onsdag fortsatte vi på torsdagen med mer vegan restauranger, den här gången med Hogtown Vegan, en restaurang som vi hade sett ren med Lasse men inte hade testat då. Restaurangen var igen en positiv upplevelse, vi konstatera att det kan vara en av de första gångerna som Chride beställt en större portion på en restaurang än jag. Det var så pass mycket mat att vi bestämde oss för att skippa Harry Potter impron och istället fara tillbaka till Blood Brothers (ölbryggeri) för att prova om Chride skulle gilla ölen som de hade. Av fyra smakprov var hon villig att dricka alla och tyckte om två, skulle ta det som en succee. Vi tog igen bristen på humor dagen efter genom att fara till samma komediklubb för att se på good news toronto istället. Det handlade om en late night show blandat med lite mer proffs komiker än dom vi såg med Lasse och Emppu, riktigt rolig show tyckte vi båda. På lördagen regnade det hela dagen så vi bestämde oss för att chilla i lägenheten och spela Baba is You tills det var dags att ta sig till flygfältet för att ta avsked.

Så som i Melbourne så var det inte värst roligt att ta avsked av Chride, så likasom i Melbourne had jag planerat in en kort “inception” resa, denna gång till Atlanta för att hälsa på familjen som mamma var på utbyte till i slutet av 70-talet. Då mammas “amerikapappa” nuförtiden är lite för gammal för att ta hand om gäster så bodde jag istället hon hennes “amerikasyster”. Jag anlände på torsdagen utan att ha destumer förväntningar på vad vi skulle göra. Som redan diskuterat så var sommaren betydligt längre i Atlanta, det var över 25 grader varmt varje dag jag var där (något som amerikanerna tyckte var “lite svalt”). Jag var glad över att Chride hade hämtat vårjackan + skorna, tror jag skulle ha sett lite löjlig ut i vinterskor.  Största delen av resan gick ut på att äta middag med familjens olika barn (25->29 åriga barn) och lära känna dom. Mina värdar var löjligt gästvänliga, jag behövde inte oroa mig om just något.

Mera beskrivningar av vad jag gjorde i Atlanta får ni läsa om i resedagbokens avslutning nästa vecka! Lite kvar det går!

 

Resedagbok season 2 – Not in Kansas anymore

Efter min återkomst till Finland tog det rätt så länge då det bara var en enda människa som hade bett mig om att blogga mer i Kanada. Jag hade ren planerat börja denna post med “för att inte göra min läsare besviken….”, men sen så var det tillräckligt många andra som bad om det för att detta skämt inte skulle fungera. Detta om något är en first world problem: “det är för många som ville läsa mer blogginlägg för att jag skall kunna göra dumma skämt”. Tack till er alla! Here we go again!

Första veckan (Ti -> Sö) har jag bakom mig i Kanada. För att vara helt ärlig så var den rådande känslan efter de första dagarna en önskan om att få fara tillbaka till Australien. Professorn jag kom hit för att jobba med var inte värst bra på att introducera mig till andra på jobbet. Har t.ex. hittills inte träffat en enda annan post-doc. “Problemet” med att vara post-doc och inte studerande ät att jag “fick” ett privatrum och “måste inte” sitta med folk i min ålder som man t.o.m. skulle kunna socialisera med. Jobbar alltså mest ensam under dagarna. Det tog 3 dagar (“min” professor kom inte på jobbet på andra dagen jag var där) innan jag hitta en annan personalmedlem som visa var studerandena sitter och berätta vad koden till vessan är (editor note: finns andra vessor så detta är inte riktigt så dramatiskt som det låter). Dessutom så bor jag på ett ganska tyst barnfamiljsområde i en privat källarlägenhet av ett hus där det bor det en barnfamilj med två ettåriga barn. Deras vardag snurrar ganska långt runt barnen. Slutligen så var det nästan -40 grader i vinden på to-fre, vilket minskade intresset för att undersöka staden ordentligt ännu. Har alltså varit ganska mycket ensammare än i Melbourne än så länge. Så småningom har jag dock lyckats klaga på olika admins tills de släppt mig in i fb. grupper där jag har fått kontakt med klättrare och även bridge spelare. Som en följd av detta var jag och klättra med en software developer på söndagen, vi prata också om att eventuellt fara ut o klättra i mars. Bristen på sociala kontakter har inte stört lika mycke som annars eftersom jag har rätt så mycket jobb för tillfället, båda artiklarna som nämndes under höstens bloggar blev nämligen godkända så jag håller på och slutför dem.  Vi förbereder också en artikel för en konferens som har dl 21.2. Då är Lasse och Emppu här så jag skulle gärna skriva den artikeln färdig i god tid.

Inte så mycket värst spännande att rapportera ännu alltså. På längre skala så kommer Lasse och Emppu att komma på besök i slutet av februari och Chride i slutet av mars. Dessutom så kommer jag kanske att fara på ett längre veckoslut till Atlanta för att hälsa på min mammas “amerikasyster” och hennes familj.  Detta får ni höra om i senare inlägg!

(Jag fattade först på veckoslutet att jag inte har bilder från inne på byggnaden jag jobbar i, det är inte en värst spännande byggnad så ni missar inte mycket. Dock så kommer det kanske bilder därifrån också senare).