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          = {https://ceur-ws.org/Vol-2189/paper4.pdf},
  timestamp    = {Fri, 11 Oct 2024 13:17:02 +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          = {https://ceur-ws.org/Vol-2189/paper12.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper1.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper3.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper14.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper10.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper9.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper11.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper15.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper8.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper2.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189/paper6.pdf},
  timestamp    = {Fri, 11 Oct 2024 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          = {https://ceur-ws.org/Vol-2189},
  urn          = {urn:nbn:de:0074-2189-9},
  timestamp    = {Fri, 11 Oct 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/scsquare/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.