|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
1 | Zhengyu Li 0002, Curtis Bright, Vijay Ganesh |
An SC-Square Approach to the Minimum Kochen-Specker Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 55-66, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Bogdan David, Madalina Erascu |
Automatic Deployment of Component-based Applications in the Cloud (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 37-44, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Daniel Dallaire, Curtis Bright |
Enumerating Projective Planes of Order Nine with Proof Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 45-54, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Ali Kemal Uncu, James H. Davenport, Matthew England 0001 |
SMT-Solving Induction Proofs of Inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 10-24, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Bernard Boigelot, Pascal Fontaine, Baptiste Vergain |
Decidability of difference logics with unary predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 25-36, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Gereon Kremer, Jasper Nalbach |
Cylindrical Algebraic Coverings for Quantifiers (short paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLoC ![In: 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., pp. 1-9, 2022, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP BibTeX RDF |
|
1 | Tudor Jebelean |
Techniques for Natural-style Proofs in Elementary Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 122, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 48, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 110, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Jan Horácek, Martin Kreuzer |
Refutation of Products of Linear Polynomials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 33, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Ilias S. Kotsireas |
Hard Combinatorial Problems: A Challenge for Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 1, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Syed Mohammad Meesum, T. V. H. Prathamesh |
Unknot Recognition Through Quantifier Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 77, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Rebecca Haehn, Gereon Kremer, Erika Ábrahám |
Evaluation of Equational Constraints for CAD in SMT Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 19, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Alexander I. Cowen-Rivers, Matthew England 0001 |
Towards Incremental Cylindrical Algebraic Decomposition in Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 3, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Stephen A. Forrest |
SMT-like Queries in Maple. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 118, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![CEUR-WS.org The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 95, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 88, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
1 | Daniela Ritirc, Armin Biere, Manuel Kauers |
A Practical Polynomial Calculus for Arithmetic Circuit Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC-Square@FLOC ![In: 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., pp. 61, 2018, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
Displaying result #1 - #20 of 20 (100 per page; Change: )
|
|