Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

3rd SC-Square@FLoC 2018: Oxford, UK

> Home > Conferences and Workshops > SC-Square
> Home > Conferences and Workshops > FLoC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/scsquare/2018
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/2018
Anna Maria Bigatti, Martin Brain:
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. CEUR Workshop Proceedings 2189, CEUR-WS.org 2018

1 - Invited Talk

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/Kotsireas18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Kotsireas18
Ilias S. Kotsireas:
Hard Combinatorial Problems: A Challenge for Satisfiability. 1

2 - Research Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/CowenRiversE18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/CowenRiversE18
Alexander I. Cowen-Rivers, Matthew England:
Towards Incremental Cylindrical Algebraic Decomposition in Maple. 3
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/HaehnKA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/HaehnKA18
Rebecca Haehn, Gereon Kremer, Erika Ábrahám:
Evaluation of Equational Constraints for CAD in SMT Solving. 19
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/HoracekK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/HoracekK18
Jan Horácek, Martin Kreuzer:
Refutation of Products of Linear Polynomials. 33
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/MulliganBDET18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/MulliganBDET18
Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England, Zak Tonks:
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. 48
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/RitircBK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/RitircBK18
Daniela Ritirc, Armin Biere, Manuel Kauers:
A Practical Polynomial Calculus for Arithmetic Circuit Verification. 61
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/MeesumP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/MeesumP18
Syed Mohammad Meesum, T. V. H. Prathamesh:
Unknot Recognition Through Quantifier Elimination. 77

3 - Extended Abstracts

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/AbbottBP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/AbbottBP18
John Abbott, Anna Maria Bigatti, Elisa Palezzato:
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. 88
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/EggersSTBB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/EggersSTBB18
Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer:
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. 95
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/FontaineOSKV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/FontaineOSKV18
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm, To Van Khanh, Xuan-Tung Vu:
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. 110
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/Forrest18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Forrest18
Stephen A. Forrest:
SMT-like Queries in Maple. 118
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/scsquare/Jebelean18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/scsquare/Jebelean18
Tudor Jebelean:
Techniques for Natural-style Proofs in Elementary Analysis. 122

a service of

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.