Login / Signup
Brian Kell
Publication Activity (10 Years)
Years Active: 2013-2018
Publications (10 Years): 1
Top Topics
Assembly Line Balancing
Theorem Prover
Bin Packing
Boolean Formula
Top Venues
CPAIOR
Theor. Comput. Sci.
</>
Publications
</>
Bennet Goeckner
,
Corbin Groothuis
,
Cyrus Hettle
,
Brian Kell
,
Pamela Kirkpatrick
,
Rachel Kirsch
,
Ryan W. Solava
Universal partial words over non-binary alphabets.
Theor. Comput. Sci.
713 (2018)
Brian Kell
,
Ashish Sabharwal
,
Willem-Jan van Hoeve
BDD-Guided Clause Generation.
CPAIOR
(2015)
Brian Kell
,
Willem Jan van Hoeve
An MDD Approach to Multidimensional Bin Packing.
CPAIOR
(2013)