Eager sat-based solver for a quantifier-free theory of strings and bit vectors

WO2024129172 Art A1 20. Juni 2024

Anmelder: AMAZON TECHNOLOGIES, INC. 🇺🇸

Details

Veröffentlichungs-Nr.: WO2024129172
Aktenzeichen: EP23801103
Anmeldetag: 5. Oktober 2023
Veröffentlichung: 20. Juni 2024
Rechtsraum: WO
IPC: H04L9/40G06F21/60G06N5/01G06N5/04

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: AMAZON TECHNOLOGIES, INC.
Land: 🇺🇸 USA

🇺🇸 Amazon Technologies

US-amerikanische Tochtergesellschaft von Amazon.com mit Sitz in Reno, Nevada, die als zentrale Patenthalterin für Technologien des Konzerns in den Bereichen E-Commerce, Cloud-Computing und Logistik dient.

2.030 Patente in unserer Datenbank

Fachgebiete

Nachrichtentechnik & Telekommunikation Software & Datenverarbeitung

Vertreten von