Mandatory Fields

Authors

Yuri Malitsky and Barry O'Sullivan and Alessandro Previti and Joao Marques-Silva

Conference Title

ECAI 2014 - 21st European Conference on Artificial Intelligence

Title of Paper

Timeout-Sensitive Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems

Year

2014

Month

September

Status

Published

Peer Reviewed

Times Cited

WOS: 2 ()

Optional Fields

Keywords

Editors

Torsten Schaub and Gerhard Friedrich and Barry O'Sullivan

Start Page

1065

End Page

1066

Location

Prague

Start Date

18-AUG-14

End Date

22-AUG-14

Abstract

Funded By

URL

DOI Link

10.3233/978-1-61499-419-0-1065

Grant Details

Funding Body

Grant Details