|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 20 publication records. Showing 20 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ali Kemal Uncu, Haniel Barbosa (eds.) |
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.  |
SC-Square@FLoC  |
2023 |
DBLP BibTeX RDF |
|
| 1 | Zhengyu Li 0002, Curtis Bright, Vijay Ganesh |
An SC-Square Approach to the Minimum Kochen-Specker Problem. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Bogdan David, Madalina Erascu |
Automatic Deployment of Component-based Applications in the Cloud (short paper). |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Daniel Dallaire, Curtis Bright |
Enumerating Projective Planes of Order Nine with Proof Verification. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of difference logics with unary predicates. |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Gereon Kremer, Jasper Nalbach |
Cylindrical Algebraic Coverings for Quantifiers (short paper). |
SC-Square@FLoC |
2022 |
DBLP BibTeX RDF |
|
| 1 | Tudor Jebelean |
Techniques for Natural-style Proofs in Elementary Analysis. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Casey B. Mulligan, Russell J. Bradford, James H. Davenport, Matthew England 0001, Zak Tonks |
Non-linear Real Arithmetic Benchmarks derived from Automated Reasoning in Economics. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm 0001, To Van Khanh, Xuan-Tung Vu |
Wrapping Computer Algebra is Surprisingly Successful for Non-Linear SMT. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Jan Horácek, Martin Kreuzer |
Refutation of Products of Linear Polynomials. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Ilias S. Kotsireas |
Hard Combinatorial Problems: A Challenge for Satisfiability. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Syed Mohammad Meesum, T. V. H. Prathamesh |
Unknot Recognition Through Quantifier Elimination. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Rebecca Haehn, Gereon Kremer, Erika Ábrahám |
Evaluation of Equational Constraints for CAD in SMT Solving. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Alexander I. Cowen-Rivers, Matthew England 0001 |
Towards Incremental Cylindrical Algebraic Decomposition in Maple. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Stephen A. Forrest |
SMT-like Queries in Maple. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Anna Maria Bigatti, Martin Brain (eds.) |
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. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer |
Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | John Abbott, Anna Maria Bigatti, Elisa Palezzato |
New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
| 1 | Daniela Ritirc, Armin Biere, Manuel Kauers |
A Practical Polynomial Calculus for Arithmetic Circuit Verification. |
SC-Square@FLOC |
2018 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license