Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Khalil Djelloul
An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
An Efficient Dual Algorithm for Vectorless Power Grid Verification Under Linear Current Constraints
Altering Impulsive Decision Making With an Acceptance-Based Procedure
Behavior Therapy
Clinical Psychology
Energy-Efficient Dual-Voltage Design Using Topological Constraints
Journal of Low Power Electronics
Electronic Engineering
Electrical
An Iterative Aggregation Procedure for Markov Decision Processes
Operations Research
Management Science
Computer Science Applications
Operations Research
Modular Constraints on Superconformal Field Theories
Journal of High Energy Physics
High Energy Physics
Nuclear
Constraints on gaugedB−3Lτand Related Theories
Physical Review D
TAN Classifiers Based on Decomposable Distributions
Machine Learning
Artificial Intelligence
Software
An Efficient Procedure for Selecting Equal Probability Samples
Behavior Research Methods
Developmental
Arts
Psychology
Educational Psychology
Cognitive Psychology
Humanities
Experimental
A Decision-Making Procedure for Resolution-Based SAT-Solvers