Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning

Formal Methods in System Design - Netherlands
doi 10.1007/s10703-013-0203-7
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Abstract Conflict Driven Learning

ACM SIGPLAN Notices
Computer Science
2013English

Erratum To: Conflict Resolution: A First-Order Resolution Calculus With Decision Literals and Conflict-Driven Clause Learning

Journal of Automated Reasoning
Computational TheorySoftwareArtificial IntelligenceMathematics
2017English

Implementation of Decimal - Floating Point ALU Component on Reconfigurable Logic

International Journal of Computer Applications
2016English

Data-Driven Conflict Detection Enhancement in 3D Airspace With Machine Learning

2020English

Logic-Based Genetic Programming With Definite Clause Translation Grammars

New Generation Computing
Computer NetworksHardwareCommunicationsArchitectureTheoretical Computer ScienceSoftware
2001English

Floating-Point Arithmetic

2005English

Floating-Point LLL Revisited

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

On Fixed-Point Logic With Counting

Journal of Symbolic Logic
PhilosophyLogic
2000English

A General Similarity Framework for Horn Clause Logic

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy