2020-06-29 7:26:48 (GMT)
This thread is to discuss about whatever you want. Enjoy!
2020-06-29 7:33:51 (GMT)
Of course, there is also the dedicated coffee break space for all attendees of IJCAR-FSCD workshops (you should have received an email about it)
2020-06-29 13:41:35 (GMT)
Here is an advertisement for a PhD position related to SAT from Jakob Nordstrom:
The Department of Computer Science at Lund University invites applications for a PhD position focused on SAT solving and combinatorial optimization.
The PhD student will be working in the research group of Jakob Nordstrom, which is active at both Lund University and the University of Copenhagen on either side of the Oresund Bridge. Much of the activities of the research group revolve around the themes of efficient algorithms for satisfiability in propositional logic (SAT solving) and lower bounds on the efficiency of methods for reasoning about SAT (proof complexity). On the practical side, one problem of interest is to gain a better understanding of, and improve, the performance of current state-of-the-art SAT solvers based on conflict-driven clause learning (CDCL). We are even more interested in exploring new algebraic or geometric techniques (such as Groebner bases or pseudo-Boolean solving) that could potentially yield exponential improvements over CDCL. We also believe that there should be ample room for technology transfer with related areas such as SMT solving, constraint programming (CP), and/or mixed integer linear programming (MIP), and so the research project will likely involve such areas.
The application deadline is July 6, 2020. See http://www.csc.kth.se/~jakobn/openings/PhD-SAT-LTH-200706.php for the full announcement with more information and instructions how to apply. Informal enquiries are welcome and may be sent to jakob.nordstrom@cs.lth.se or jn@di.ku.dk .
2020-06-29 13:46:28 (GMT)
@Stephan Schulz When you said "a 44% improvement", I think you meant "a 78% improvement". Correct me if I'm wrong, but a 100% improvement in speed means going twice as fast, and a 1000% improvement in speed means going ten times as fast.
2020-06-29 13:47:7 (GMT)
Plus, my convention sounds more impressive than yours. It gives numbers like 78% and 1000%, which are harder to get otherwise. ;)
2020-06-29 13:50:7 (GMT)
Bigger numbers are not always better ;-)
2020-06-29 13:55:35 (GMT)
You can make the numbers sound even better if you only report the cases where you are at least 100% faster, e.g. "For problems where problems were solved at least twice as fast we achieved speedups in excess of 100%"... it sounds great :)
2020-06-29 15:58:33 (GMT)
is there no coffee break after the last session?
2020-06-29 16:6:53 (GMT)
Not only there's no coffee break, apparently there's no coffee even. Our kids's kids will likely wonder why "coffee breaks" are called like that.
2020-06-29 16:7:13 (GMT)
nah, there's coffee, it's just locally sourced.
2020-06-29 17:6:5 (GMT)
Here is coffee :coffee:
2020-06-30 13:23:19 (GMT)
Giles announcement for PhD during the break, in PAAR zoom room!
2020-06-30 13:42:46 (GMT)
Who wants coffee? :coffee: :coffee: :coffee:
2020-06-30 13:43:10 (GMT)
I hoped to make coffee during the session, but then the talks were too interesting
2020-06-30 13:43:19 (GMT)
There is tea too :tea:
2020-06-30 13:43:43 (GMT)
Or water if you're one of the purer kind of person.
2020-06-30 13:44:7 (GMT)
:water_drop: ?
2020-06-30 13:44:22 (GMT)
:wavy_dash:
2020-06-30 13:45:5 (GMT)
It's less intimidating to talk on zulip, in a way :s
Zoom lacks a way of doing fork/join over the room, as happens naturally with smaller groups in actual coffee breaks.
2020-06-30 13:46:23 (GMT)
Here is the link to Giles project, that he advertised live on zoom: https://scorch-project.github.io/