A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems

Author(s):  
Yuri Malitsky ◽  
Barry O’Sullivan ◽  
Alessandro Previti ◽  
Joao Marques-Silva
CFA Digest ◽  
2003 ◽  
Vol 33 (1) ◽  
pp. 64-66
Author(s):  
Joseph Spivack

Author(s):  
Albert Atserias ◽  
Phokion G. Kolaitis ◽  
Simone Severini

Energy Policy ◽  
2007 ◽  
Vol 35 (8) ◽  
pp. 4190-4199 ◽  
Author(s):  
Gang Wu ◽  
Yi-Ming Wei ◽  
Ying Fan ◽  
Lan-Cui Liu

1987 ◽  
Vol 7 (4) ◽  
pp. 443-457 ◽  
Author(s):  
Paul E. Peterson ◽  
Raymond M. Leuthold

1999 ◽  
Vol 59 (1-3) ◽  
pp. 43-52 ◽  
Author(s):  
Jenny Corbett ◽  
Donald Hay ◽  
Helen Louri

Sign in / Sign up

Export Citation Format

Share Document