Search every field

16 merged results for "International Workshop on Satisfiability Modulo Theories"

Partial results: at least one source did not answer. Available results are shown rather than treating an upstream outage as zero matches.

Source status

  1. Extract, model, refine: improved modelling of program verification tools through data enrichment.

    Lathouwers S, Liu Y, Zaytsev V. · 2025 · Softw Syst Model

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1007/s10270-024-01232-7

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  2. Multi-Robot Coordination Analysis, Taxonomy, Challenges and Future Scope.

    Verma JK, Ranga V. · 2021 · J Intell Robot Syst

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1007/s10846-021-01378-2

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  3. 29th Annual Computational Neuroscience Meeting: CNS*2020.

    Author unknown · 2020 · BMC Neurosci

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in europe-pmc · DOI 10.1186/s12868-020-00593-1

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 4 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  4. Anatomy of Alternating Quantifier Satisfiability (Work in progress)

    Anh-Dung Phan, Nikolaj Bjørner, David Monniaux · 2012

    limited evidence Transparent signal score 45/100 · policy 1.0.0

    Found in hal · DOI 10.29007/8cf7

    Show all credibility signals
    • cautionDOI registered: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • cautionDOI resolves: No matching Crossref record was present in this response. Source: Crossref; license: CC0 metadata
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: No retraction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch expression of concern: No expression of concern notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch correction: No correction notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • not scoredRetraction Watch reinstatement: No reinstatement notice matched this DOI in the deployed snapshot. No matching event found; coverage may be incomplete. Source: Retraction Watch; license: CC BY 4.0
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  5. An SMT Theory for n-Indexed Sequences

    Hichem Rami Ait El Hara, François Bobot, Guillaume Bury · 2024

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  6. AVR: Abstractly Verifying Reachability

    Goel A, Sakallah K. · 2020 · Tools and Algorithms for the Construction and Analysis of Systems26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  7. Better Answers to Real Questions

    Marek Kosta, Thomas Sturm, Andreas Dolzmann · 2014

    limited evidence Transparent signal score 48/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpen access status: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  8. Computing a Complete Basis for Equalities Implied by a System of LRA Constraints

    Martin Bromberger, Christoph Weidenbach · 2016

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  9. Exploring and Exploiting Algebraic and Graphical Properties of Resolution

    Pascal Fontaine, Stephan Merz, Bruno Woltzenlogel Paleo · 2010

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  10. Higher-Order SMT Solving (Work in Progress)

    Haniel Barbosa, Andrew Reynolds, Pascal Fontaine, Daniel El Ouraoui · 2018

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  11. MachSMT: A Machine Learning-based Algorithm Selector for SMT Solvers

    Scott J, Niemetz A, Preiner M, Nejati S · 2021 · Tools and Algorithms for the Construction and Analysis of Systems27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings, Part II

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  12. Model Finding for Recursive Functions in SMT

    Andrew Reynolds, Jasmin Christian Blanchette, Cesare Tinelli · 2015

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  13. Satisfiability Modulo Free Data Structures Combined with Bridging Functions

    Raphaël Berthon, Christophe Ringeissen · 2016

    uncertain Transparent signal score 56/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • supportingMetadata completeness: All 6 scored descriptive metadata groups are present. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  14. SMT Solving Modulo Tableau and Rewriting Theories

    Guillaume Bury, Simon Cruanes, David Delahaye · 2018

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  15. Solving Bitvectors with MCSAT: Explanations from Bits and Pieces

    Graham-Lengrand S, Jovanović D, Dutertre B. · 2020 · Automated Reasoning

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in europe-pmc · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer

  16. Visualization of execution traces in the Colibri 2 SMT solver

    Christophe Junke, François Bobot · 2025

    uncertain Transparent signal score 50/100 · policy 1.0.0

    Found in hal · no DOI

    Show all credibility signals
    • not scoredDOI registered: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDOI resolves: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredDirectory of Open Access Journals: No matching DOAJ record was present in this response. No allow-list match; this is not evidence of low credibility. Source: DOAJ; license: CC0
    • not scoredMEDLINE indexed: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredOpenAlex core source: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredKnown publisher allow-list: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredROR affiliation: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch retraction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch expression of concern: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch correction: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredRetraction Watch reinstatement: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • supportingOpen access status: Normalized open-access status: open. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • not scoredPublication license: Not checked or no result supplied; no credibility inference made. Source: No authority result supplied; license: Unknown
    • not scoredPublication version: A publication version was supplied but is not scored. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer
    • cautionMetadata completeness: 5 of 6 scored descriptive metadata groups are present; missing fields increase uncertainty. Source: Normalized work metadata; license: Caller-provided; provenance license not supplied to scorer