Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware

Partitioning a Set of Vectors with Integer Coordinates by Means of Logical Hardware

The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2019-05, Vol.55 (3), p.462-473
Hauptverfasser: Kryvyi, S. L., Opanasenko, V. M., Zavyalov, S. B.
Format: Artikel
Sprache:eng
Schlagworte:
Algorithms
Artificial Intelligence
Computer Engineering
Control
Hardware
Informatics
Integrated circuits
Mathematics
Mathematics and Statistics
New Means of Cybernetics
Partitioning
Processor Architectures
Programmable logic arrays
Robots
Software Engineering/Programming and Operating Systems
Systems Analysis
Systems Theory
Technology
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The problem of partitioning a set of vectors with integer coordinates is considered with respect to the coordinate-wise and lexicographic order on vectors using automaton interpretation. An FPGA-based hardware implementation of three-valued logic operations is proposed to check the satisfiability of formulas of this logic.
ISSN:1060-0396
1573-8337
DOI:10.1007/s10559-019-00154-3