Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Vijay D'Silva
Abstract Conflict Driven Learning
ACM SIGPLAN Notices
Computer Science
Abstract Satisfaction
ACM SIGPLAN Notices
Computer Science
Related publications
Deciding Floating-Point Logic With Abstract Conflict Driven Clause Learning
Formal Methods in System Design
Hardware
Theoretical Computer Science
Architecture
Software
Data-Driven Conflict Detection Enhancement in 3D Airspace With Machine Learning
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
Conflict-Driven Conditional Termination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
On Conflict-Driven Reasoning
Learning Abstract Planning Cases
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Conflict Prevention via Model-Driven Policy Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Learning Through Conflict at Oxford
Abstract Numerical Discrimination Learning in Rats
Learning and Behavior
Cognitive Psychology
Behavioral Neuroscience
Experimental
Cognitive Neuroscience
