scholarly journals To Be Or Not to Be? Variable selection can change the projected fate of a threatened species under future climate

2013 ◽  
pp. n/a-n/a ◽  
Author(s):  
Rebecca M. B. Harris ◽  
Luciana L. Porfirio ◽  
Sonia Hugh ◽  
Greg Lee ◽  
Nathan L. Bindoff ◽  
...  
2019 ◽  
Vol 237 ◽  
pp. 230-237 ◽  
Author(s):  
Linda J. Beaumont ◽  
Manuel Esperón-Rodríguez ◽  
David. A. Nipperess ◽  
Mareshell Wauchope-Drumm ◽  
John B. Baumgartner

2020 ◽  
Vol 12 (1) ◽  
pp. 17-22
Author(s):  
Alexander Nadel

This paper is a system description of the anytime MaxSAT solver TT-Open-WBO-Inc, which won both of the weighted incomplete tracks of MaxSAT Evaluation 2019. We implemented the recently introduced polarity and variable selection heuristics, TORC and TSB, respectively, in the Open-WBO-Inc-BMO algorithm within the open-source anytime MaxSAT solver Open-WBO-Inc. As a result, the solver is substantially more efficient.


2006 ◽  
Vol 106 (3) ◽  
pp. 323-334 ◽  
Author(s):  
Michael B. Jones ◽  
Alison Donnelly ◽  
Fabrizio Albanito

2002 ◽  
Vol 19 ◽  
pp. 179-192 ◽  
Author(s):  
M Lal ◽  
H Harasawa ◽  
K Takahashi

2018 ◽  
Vol 599 ◽  
pp. 253-266
Author(s):  
L Krüger ◽  
JM Pereira ◽  
I Ramírez ◽  
JA Ramos ◽  
VH Paiva

Sign in / Sign up

Export Citation Format

Share Document