Arxiv 2609 11509v1 Extending Smt Solving With Non Ground Clause Learn

--
name: arxiv-2609-11509v1-extending-smt-solving-with-non-ground-clause-learn
description: 'Extending SMT Solving with Non-Ground Clause Learning (arXiv: 2609.11509v1)'
metadata:
  {
    "arxiv_id": "2609.11509v1",
    "utility": 1.0,
    "title": "Extending SMT Solving with Non-Ground Clause Learning",
    "authors": "Yasmine Briefs, Christoph Weidenbach",
    "url": "http://arxiv.org/abs/2609.11509v1"
  }
--

# Extending SMT Solving with Non-Ground Clause Learning

**arXiv ID:** 2609.11509v1
**Authors:** Yasmine Briefs, Christoph Weidenbach
**URL:** http://arxiv.org/abs/2609.11509v1
**Utility Score:** 1.00

## Summary

This skill was automatically generated from the arXiv paper titled "Extending SMT Solving with Non-Ground Clause Learning" (ID: 2609.11509v1).

## Usage

This skill can be used to reference the paper's concepts, methodologies, or findings in agent workflows.

## References

- arXiv: http://arxiv.org/abs/2609.11509v1