Search dblp for Publications

export results for "toc:db/conf/issac/sc2017.bht:"

 download as .bib file

@inproceedings{DBLP:conf/issac/AbbottB17,
  author       = {John Abbott and
                  Anna Maria Bigatti},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {New in CoCoA-5.2.2 and CoCoALib-0.99560 for SC-Square},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/EAc.pdf},
  timestamp    = {Mon, 01 Jul 2024 10:37:52 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/AbbottB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/AbrahamNK17,
  author       = {Erika {\'{A}}brah{\'{a}}m and
                  Jasper Nalbach and
                  Gereon Kremer},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Embedding the Virtual Substitution Method in the Model Constructing
                  Satisfiability Calculus Framework},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/EAb.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/AbrahamNK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/BrainDG17,
  author       = {Martin Brain and
                  James H. Davenport and
                  Alberto Griggio},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Benchmarking Solvers, SAT-style},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/RP3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/BrainDG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/EnglandG17,
  author       = {Matthew England and
                  Vijay Ganesh},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Preface},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/Preface.pdf},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/EnglandG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Forrest17,
  author       = {Stephen Forrest},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Integration of {SMT-LIB} Support into Maple},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/EAd.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Forrest17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/HoracekK17,
  author       = {Jan Hor{\'{a}}cek and
                  Martin Kreuzer},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {On Conversions from {CNF} to {ANF}},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/RP1.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/HoracekK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/JingM17,
  author       = {Rui{-}Juan Jing and
                  Marc Moreno Maza},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Computing the Integer Points of a Polyhedron},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/EAa.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/JingM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/Kapur17,
  author       = {Deepak Kapur},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Nonlinear Polynomials, Interpolants and Invariant Generation for System
                  Analysis},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/PwP.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/Kapur17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issac/ViehmannKA17,
  author       = {Tarik Viehmann and
                  Gereon Kremer and
                  Erika {\'{A}}brah{\'{a}}m},
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Comparing Different Projection Operators in the Cylindrical Algebraic
                  Decomposition for {SMT} Solving},
  booktitle    = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974/RP2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issac/ViehmannKA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/issac/2017sc,
  editor       = {Matthew England and
                  Vijay Ganesh},
  title        = {Proceedings of the 2nd International Workshop on Satisfiability Checking
                  and Symbolic Computation co-located with the 42nd International Symposium
                  on Symbolic and Algebraic Computation {(ISSAC} 2017), Kaiserslautern,
                  Germany, July 29, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1974},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1974},
  urn          = {urn:nbn:de:0074-1974-4},
  timestamp    = {Mon, 01 Jul 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issac/2017sc.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.