Mandatory Fields

Authors

Yuri Malitsky, Barry O’Sullivan, Alessandro Previti, Joao Marques-Silva

Conference Title

Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Title of Paper

A Portfolio Approach to Enumerating Minimal Correction Subsets for Satisfiability Problems

Year

2014

Month

August

Status

Published

Peer Reviewed

Times Cited

Scopus: 3 ()

Optional Fields

Keywords

Editors

Helmut Simonis

Start Page

368

End Page

376

Location

Cork

Start Date

19-MAY-14

End Date

23-MAY-14

Abstract

Funded By

URL

DOI Link

10.1007/978-3-319-07046-9_26

Grant Details

Funding Body

Grant Details