Search dblp for Publications

export results for "toc:db/conf/scsquare/scsquare2018.bht:"

 download as .bib file

@inproceedings{DBLP:conf/scsquare/AbbottBP18,
  author       = {John Abbott and
                  Anna Maria Bigatti and
                  Elisa Palezzato},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {88},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper4.pdf},
  timestamp    = {Mon, 28 Aug 2023 17:23:07 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/AbbottBP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/CowenRiversE18,
  author       = {Alexander I. Cowen{-}Rivers and
                  Matthew England},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Towards Incremental Cylindrical Algebraic Decomposition in Maple},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {3},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper12.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/CowenRiversE18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/EggersSTBB18,
  author       = {Andreas Eggers and
                  Matthias Stasch and
                  Tino Teige and
                  Tom Bienm{\"{u}}ller and
                  Udo Brockmeyer},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Constraint Systems from Traffic Scenarios for the Validation of Autonomous
                  Driving},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {95},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper1.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/EggersSTBB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/FontaineOSKV18,
  author       = {Pascal Fontaine and
                  Mizuhito Ogawa and
                  Thomas Sturm and
                  To Van Khanh and
                  Xuan{-}Tung Vu},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Wrapping Computer Algebra is Surprisingly Successful for Non-Linear
                  {SMT}},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {110},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper3.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/FontaineOSKV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/Forrest18,
  author       = {Stephen A. Forrest},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {SMT-like Queries in Maple},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {118},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper14.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/Forrest18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/HaehnKA18,
  author       = {Rebecca Haehn and
                  Gereon Kremer and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Evaluation of Equational Constraints for {CAD} in {SMT} Solving},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {19},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper10.pdf},
  timestamp    = {Sat, 19 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/HaehnKA18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/HoracekK18,
  author       = {Jan Hor{\'{a}}cek and
                  Martin Kreuzer},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Refutation of Products of Linear Polynomials},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {33},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper9.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/HoracekK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/Jebelean18,
  author       = {Tudor Jebelean},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Techniques for Natural-style Proofs in Elementary Analysis},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {122},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper11.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/Jebelean18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/Kotsireas18,
  author       = {Ilias S. Kotsireas},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Hard Combinatorial Problems: {A} Challenge for Satisfiability},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {1},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper15.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/Kotsireas18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/MeesumP18,
  author       = {Syed Mohammad Meesum and
                  T. V. H. Prathamesh},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Unknot Recognition Through Quantifier Elimination},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {77},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper8.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/MeesumP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/MulliganBDET18,
  author       = {Casey B. Mulligan and
                  Russell J. Bradford and
                  James H. Davenport and
                  Matthew England and
                  Zak Tonks},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning
                  in Economics},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {48},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper2.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/MulliganBDET18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scsquare/RitircBK18,
  author       = {Daniela Ritirc and
                  Armin Biere and
                  Manuel Kauers},
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {A Practical Polynomial Calculus for Arithmetic Circuit Verification},
  booktitle    = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  pages        = {61},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189/paper6.pdf},
  timestamp    = {Fri, 18 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/RitircBK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/scsquare/2018,
  editor       = {Anna Maria Bigatti and
                  Martin Brain},
  title        = {Proceedings of the 3rd Workshop on Satisfiability Checking and Symbolic
                  Computation co-located with Federated Logic Conference, SC-Square@FLOC
                  2018, Oxford, UK, July 11, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2189},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {http://ceur-ws.org/Vol-2189},
  urn          = {urn:nbn:de:0074-2189-9},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.