Abstract Cores in Implicit Hitting Set MaxSat Solving

Show full item record



Permalink

http://hdl.handle.net/10138/324855

Citation

Berg , J , Bacchus , F & Poole , A 2020 , Abstract Cores in Implicit Hitting Set MaxSat Solving . in L Pulina & M Seidl (eds) , Theory and Applications of Satisfiability Testing – SAT 2020 : 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings . Lecture Notes in Computer Science , vol. 12178 , Springer , Cham , pp. 277-294 , Theory and Applications of Satisfiability Testing , 03/07/2020 . https://doi.org/10.1007/978-3-030-51825-7_20

Title: Abstract Cores in Implicit Hitting Set MaxSat Solving
Author: Berg, Jeremias; Bacchus, Fahiem; Poole, Alex
Editor: Pulina, Luca; Seidl, Martina
Contributor: University of Helsinki, Department of Computer Science
Publisher: Springer
Date: 2020
Language: eng
Number of pages: 18
Belongs to series: Theory and Applications of Satisfiability Testing – SAT 2020 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings
Belongs to series: Lecture Notes in Computer Science
ISBN: 978-3-030-51824-0
URI: http://hdl.handle.net/10138/324855
Subject: 113 Computer and information sciences
Rights:


Files in this item

Total number of downloads: Loading...

Files Size Format View
paper_sat.pdf 413.0Kb PDF View/Open

This item appears in the following Collection(s)

Show full item record