%0 Conference Paper %1 conf/sat/BergBP20 %A Berg, Jeremias %A Bacchus, Fahiem %A Poole, Alex %B SAT %D 2020 %E Pulina, Luca %E Seidl, Martina %I Springer %K dblp %P 277-294 %T Abstract Cores in Implicit Hitting Set MaxSat Solving. %U http://dblp.uni-trier.de/db/conf/sat/sat2020.html#BergBP20 %V 12178 %@ 978-3-030-51825-7

@inproceedings{conf/sat/BergBP20, added-at = {2020-07-02T00:00:00.000+0200}, author = {Berg, Jeremias and Bacchus, Fahiem and Poole, Alex}, biburl = {https://www.bibsonomy.org/bibtex/2abb8d3fbecff55f7a5b00531716f5b8b/dblp}, booktitle = {SAT}, crossref = {conf/sat/2020}, editor = {Pulina, Luca and Seidl, Martina}, ee = {https://doi.org/10.1007/978-3-030-51825-7_20}, interhash = {f4ac43ad3050faa5e5f2678144ad8fcb}, intrahash = {abb8d3fbecff55f7a5b00531716f5b8b}, isbn = {978-3-030-51825-7}, keywords = {dblp}, pages = {277-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-03T11:40:26.000+0200}, title = {Abstract Cores in Implicit Hitting Set MaxSat Solving.}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2020.html#BergBP20}, volume = 12178, year = 2020 }