Abstract Conflict Driven Learning

ACM SIGPLAN Notices - United States
doi 10.1145/2480359.2429087
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2013English

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

2020English

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

Conflict-Driven Conditional Termination

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

On Conflict-Driven Reasoning

English

Learning Abstract Planning Cases

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Conflict Prevention via Model-Driven Policy Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Learning Through Conflict at Oxford

2010English

Abstract Numerical Discrimination Learning in Rats

Learning and Behavior
Cognitive PsychologyBehavioral NeuroscienceExperimentalCognitive Neuroscience
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy