The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "SC-Square@FLOC"( http://dblp.L3S.de/Venues/SC-Square@FLOC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/scsquare

Publication years (Num. hits)
2018 (13) 2022 (6) 2023 (1)
Publication types (Num. hits)
inproceedings(18) proceedings(2)
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
1Ali 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 SC-Square@FLoC The full citation details ... 2023 DBLP  BibTeX  RDF
1Zhengyu Li 0002, Curtis Bright, Vijay Ganesh An SC-Square Approach to the Minimum Kochen-Specker Problem. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Bogdan David, Madalina Erascu Automatic Deployment of Component-based Applications in the Cloud (short paper). Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Daniel Dallaire, Curtis Bright Enumerating Projective Planes of Order Nine with Proof Verification. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Ali Kemal Uncu, James H. Davenport, Matthew England 0001 SMT-Solving Induction Proofs of Inequalities. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Bernard Boigelot, Pascal Fontaine, Baptiste Vergain Decidability of difference logics with unary predicates. Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Gereon Kremer, Jasper Nalbach Cylindrical Algebraic Coverings for Quantifiers (short paper). Search on Bibsonomy SC-Square@FLoC The full citation details ... 2022 DBLP  BibTeX  RDF
1Tudor Jebelean Techniques for Natural-style Proofs in Elementary Analysis. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Casey 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Pascal 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Jan Horácek, Martin Kreuzer Refutation of Products of Linear Polynomials. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Ilias S. Kotsireas Hard Combinatorial Problems: A Challenge for Satisfiability. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Syed Mohammad Meesum, T. V. H. Prathamesh Unknot Recognition Through Quantifier Elimination. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Rebecca Haehn, Gereon Kremer, Erika Ábrahám Evaluation of Equational Constraints for CAD in SMT Solving. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Alexander I. Cowen-Rivers, Matthew England 0001 Towards Incremental Cylindrical Algebraic Decomposition in Maple. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Stephen A. Forrest SMT-like Queries in Maple. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Anna 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 SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Andreas Eggers, Matthias Stasch, Tino Teige, Tom Bienmüller, Udo Brockmeyer Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1John Abbott, Anna Maria Bigatti, Elisa Palezzato New in CoCoA-5.2.4 and CoCoALib-0.99600 for SC-Square. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
1Daniela Ritirc, Armin Biere, Manuel Kauers A Practical Polynomial Calculus for Arithmetic Circuit Verification. Search on Bibsonomy SC-Square@FLOC The full citation details ... 2018 DBLP  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license