Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mohak Bhardwaj
Leveraging Experience in Lazy Search
Related publications
Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting
Numerical Reasoning With an ILP System Capable of Lazy Evaluation and Customised Search
The Journal of Logic Programming
Lazy Arithmetic
IEEE Transactions on Computers
Hardware
Architecture
Mathematics
Computational Theory
Theoretical Computer Science
Software
Practical Typed Lazy Contracts
ACM SIGPLAN Notices
Computer Science
Database States in Lazy Functional Programming Languages: Imperative Update and Lazy Retrieval
Lazy Stream Programming in Prolog
Electronic Proceedings in Theoretical Computer Science, EPTCS
Software
Lazy XSL Transformations
Lazy Leukocyte Syndrome
Journal of the Royal Society of Medicine
Medicine
Lazy Transition Systems
