Automated deduction - CADE 29 29th international conference on automated deduction, Rome, Italy, July 1-4, 2023 : proceedings
Certified Core-Guided MaxSAT Solving.- Superposition with Delayed Unification.- On Incremental Pre-processing for SMT.- Verified Given Clause Procedures.- QSMA: A New Algorithm for Quantified Satisfiability Modulo Theory and Assignment.- Uniform Substitution for Dynamic Logic with Communicating Hybr...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14132 |
| Schlagworte: |
Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Programming / General
> COMPUTERS / Programming / Software Development
> Computer programming / software development
> Künstliche Intelligenz
> MATHEMATICS / Logic
> Mathematical theory of computation
> Software Engineering
> Theoretische Informatik
> Konferenzschrift
|
| Online Zugang: | Cover Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
Keine Ergebnisse!