CARRO, MANUEL
IMDEA Software Institute · Universidad Politécnica de Madrid
2 papers on CoChatORCID 0000-0001-5199-3135
Most cited papers
- Verified · note
Constraint Answer Set Programming without Grounding
ARIAS, J., CARRO, M., SALAZAR, E., MARPLE, K., & GUPTA, G. (2018) · Theory and Practice of Logic Programming
Logic, Reasoning, and KnowledgeConstraint Satisfaction and Optimization
Cited by 88
- Verified
Little’s Law
Dongarra, J., Luszczek, P., Feautrier, P., Zee, F. G., Chan, E., Geijn, R. A., Bjornson, R., Dongarra, J., Luszczek, P., Philippe, B., et al. (2011) · Encyclopedia of Parallel Computing
Advanced Queuing Theory AnalysisManagement and Optimization Techniques
Cited by 5
Go further with a free account
Verify every reference, keep papers in a library, and ask questions across them.
Sign up - it is free