Improving performance of CDCL SAT solvers by automated design of variable selection heuristics
Illetskova, Marketa, Bertels, Alex R., Tuggle, Joshua M., Harter, Adam, Richter, Samuel, Tauritz, Daniel R., Mulder, Samuel, Bueno, Denis, Leger, Michelle, Siever, William M.
Published in 2017 IEEE Symposium Series on Computational Intelligence (SSCI) (01.11.2017)
Published in 2017 IEEE Symposium Series on Computational Intelligence (SSCI) (01.11.2017)
Get full text
Conference Proceeding
Gel pack for a cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 13.09.2011
Get full text
Year of Publication 13.09.2011
Patent
Gel pack for a cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 13.09.2011
Get full text
Year of Publication 13.09.2011
Patent
Cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 23.08.2011
Get full text
Year of Publication 23.08.2011
Patent
Cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 23.08.2011
Get full text
Year of Publication 23.08.2011
Patent
Cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 09.08.2011
Get full text
Year of Publication 09.08.2011
Patent
Cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 09.08.2011
Get full text
Year of Publication 09.08.2011
Patent
Cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 12.04.2011
Get full text
Year of Publication 12.04.2011
Patent
Cooler
Buckles, John, Noe, Daniel, Butz, Gregory, Besselle, Shereen, Harter, Adam, Jafa, Emad
Year of Publication 12.10.2010
Get full text
Year of Publication 12.10.2010
Patent
Cooler
BUCKLES JOHN, NOE DANIEL, BUTZ GREGORY, JAFA EMAD, HARTER ADAM, BESSELLE SHEREEN
Year of Publication 12.10.2010
Get full text
Year of Publication 12.10.2010
Patent