Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/scsquare/2022,
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  publisher    = {CEUR-WS.org},
  year         = {2023},
  url          = {https://ceur-ws.org/Vol-3458},
  urn          = {urn:nbn:de:0074-3458-5},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/2022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/BoigelotFV22,
  author       = {Bernard Boigelot and
                  Pascal Fontaine and
                  Baptiste Vergain},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Decidability of difference logics with unary predicates},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {25--36},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper3.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/BoigelotFV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/DallaireB22,
  author       = {Daniel Dallaire and
                  Curtis Bright},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Enumerating Projective Planes of Order Nine with Proof Verification},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {45--54},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper5.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/DallaireB22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/DavidE22,
  author       = {Bogdan David and
                  Madalina Erascu},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Automatic Deployment of Component-based Applications in the Cloud
                  (short paper)},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {37--44},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper4.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/DavidE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/KremerN22,
  author       = {Gereon Kremer and
                  Jasper Nalbach},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {Cylindrical Algebraic Coverings for Quantifiers (short paper)},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {1--9},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper1.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/KremerN22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/LiBG22,
  author       = {Zhengyu Li and
                  Curtis Bright and
                  Vijay Ganesh},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {An SC-Square Approach to the Minimum Kochen-Specker Problem},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {55--66},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper6.pdf},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/LiBG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/UncuDE22,
  author       = {Ali Kemal Uncu and
                  James H. Davenport and
                  Matthew England},
  editor       = {Ali Kemal Uncu and
                  Haniel Barbosa},
  title        = {SMT-Solving Induction Proofs of Inequalities},
  booktitle    = {Proceedings of the 7th SC-Square Workshop co-located with the Federated
                  Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International
                  Joint Conference on Automated Reasoning, {IJCAR} 2022, Haifa, Israel,
                  August 12, 2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3458},
  pages        = {10--24},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3458/paper2.pdf},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/UncuDE22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}