Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alberto Griggio
Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: A Comparative Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Abstract Conflict Driven Learning
ACM SIGPLAN Notices
Computer Science
Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Implementation of Decimal - Floating Point ALU Component on Reconfigurable Logic
International Journal of Computer Applications
Data-Driven Conflict Detection Enhancement in 3D Airspace With Machine Learning
Logic-Based Genetic Programming With Definite Clause Translation Grammars
New Generation Computing
Computer Networks
Hardware
Communications
Architecture
Theoretical Computer Science
Software
Floating-Point Arithmetic
Floating-Point LLL Revisited
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Fixed-Point Logic With Counting
Journal of Symbolic Logic
Philosophy
Logic
A General Similarity Framework for Horn Clause Logic
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
