%0 Conference Paper %1 conf/sat/HermannS21 %A Hermann, Miki %A Salzer, Gernot %B SAT %D 2021 %E Li, Chu-Min %E Manyà, Felip %I Springer %K dblp %P 207-215 %T MCP: Capturing Big Data by Satisfiability (Tool Description). %U http://dblp.uni-trier.de/db/conf/sat/sat2021.html#HermannS21 %V 12831 %@ 978-3-030-80223-3

@inproceedings{conf/sat/HermannS21, added-at = {2024-02-05T00:00:00.000+0100}, author = {Hermann, Miki and Salzer, Gernot}, biburl = {https://www.bibsonomy.org/bibtex/2365432512039f71afc68b9d333ffc457/dblp}, booktitle = {SAT}, crossref = {conf/sat/2021}, editor = {Li, Chu-Min and Manyà, Felip}, ee = {https://doi.org/10.1007/978-3-030-80223-3_14}, interhash = {9c3f0325676e45ba63bd98122efbe3dd}, intrahash = {365432512039f71afc68b9d333ffc457}, isbn = {978-3-030-80223-3}, keywords = {dblp}, pages = {207-215}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-10-28T07:15:43.000+0100}, title = {MCP: Capturing Big Data by Satisfiability (Tool Description).}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2021.html#HermannS21}, volume = 12831, year = 2021 }