Travelled to:1 × Germany
1 × Sweden
Collaborated with:K.Czarnecki V.Ganesh J.Guo R.Olaechea D.Rayside S.Apel J.M.Atlee
Talks about:math (2) combinatori (1) parallel (1) algebra (1) system (1) solver (1) object (1) comput (1) combin (1) assist (1)
Person: Edward Zulkoski
DBLP: Zulkoski:Edward
Contributed to:
2015
2014Wrote 2 papers:
- CADE-2015-ZulkoskiGC #algebra #named #satisfiability
- MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers (EZ, VG, KC), pp. 607–622.
- ASE-2014-GuoZORCAA #combinator #optimisation #parallel #scalability
- Scaling exact multi-objective combinatorial optimization by parallelization (JG, EZ, RO, DR, KC, SA, JMA), pp. 409–420.