scholarly journals SAT-Based Rigorous Explanations for Decision Lists

Author(s):  
Alexey Ignatiev ◽  
Joao Marques-Silva
Keyword(s):  
1996 ◽  
Vol 126 (2) ◽  
pp. 114-122 ◽  
Author(s):  
Thomas Hancock ◽  
Tao Jiang ◽  
Ming Li ◽  
John Tromp
Keyword(s):  

2015 ◽  
Vol 590 ◽  
pp. 38-54 ◽  
Author(s):  
V. Arvind ◽  
Johannes Köbler ◽  
Sebastian Kuhnert ◽  
Gaurav Rattan ◽  
Yadu Vasudev

Author(s):  
Vikraman Arvind ◽  
Johannes Köbler ◽  
Sebastian Kuhnert ◽  
Gaurav Rattan ◽  
Yadu Vasudev

2003 ◽  
Vol 298 (1) ◽  
pp. 71-87
Author(s):  
Steffen Lange ◽  
Jochen Nessel

Biometrics ◽  
2015 ◽  
Vol 71 (4) ◽  
pp. 895-904 ◽  
Author(s):  
Yichi Zhang ◽  
Eric B. Laber ◽  
Anastasios Tsiatis ◽  
Marie Davidian

1998 ◽  
Vol 16 (3) ◽  
pp. 263-281 ◽  
Author(s):  
Mary Elaine Califf ◽  
Raymond J. Mooney

Sign in / Sign up

Export Citation Format

Share Document