Prof. Marijn Heule — Research Profile
Carnegie Mellon University · Computer Science Department
About
카네기멜런 대학교 컴퓨터과학과 소속 Marijn Heule 교수의 등록된 연구 분야는 Programming Languages, Formal Methods, Pure and Applied Logic입니다.
Research keywords
Recent papers
From OpenAlex · papers whose author affiliation matches this university
Labs doing related research
Labs that recently published on topics this lab's recent papers share
Shared topic: Constraint Satisfaction and Optimization
Venkatesan Guruswami 교수 연구실
University of California, Berkeley · Electrical Engineering and Computer Sciences
Baby PIH: Parameterized Inapproximability of Min CSPComputational Complexity · Aug 20Xiaohui Bei 교수 연구실
Nanyang Technological University · College of Computing and Data Science
Non-Existence of PMMS Allocations and a $4/3$-PMMS Guarantee for Additive ChoresPreprintarXiv (Cornell University) · Sep 9Naoyuki Kamiyama 교수 연구실
Kyoto University · Graduate School of Informatics
The strongly stable roommates problem and linear programmingDiscrete Optimization · Sep 13
Other labs in this department
- Aayush Jain 교수 연구실
Theory, Cryptography
- Aditi Raghunathan 교수 연구실
Artificial Intelligence, Machine Learning
- Andrew Pavlo 교수 연구실
Systems, Databases, Distributed Systems
- Aviral Kumar 교수 연구실
Artificial Intelligence, Machine Learning, Robotics
- Chris Donahue 교수 연구실
Artificial Intelligence, Machine Learning
- Christos Faloutsos 교수 연구실
Artificial Intelligence, Systems, Databases, Data Mining