KNAW
Narcis
Back to search results
Person
Dr. H. van Maaren
Pagina-navigatie:
Main
Current research (1)
Completed research (2)
Publications (1)
Update Persondata
applications
computer
electric
engineering
logic
mathematical
modeling
optimization
satisfiability
science
technology
Expertise
Mathematical modeling; Satisfiability and applications to logic; Computer science; Mathematics and electric engineering
Expertise (NL)
Convexe optimalisaties; Wiskunde
Digital Author ID
info:eu-repo/dai/nl/068396007
Active as
Associate professor
Organisation
Department of Software Technology (TUD)
Chair (EN)
Optimization Technology
Chair (NL)
Optimaliseringstechnieken
Phone
+31-15-2784936
Email
H. vanMaaren -at- tudelft. nl
Publications
A degree theorem and decision methods for algebras of affine forms
Current research
(the most recent research is at the top)
Project leader
CARD, a cardinality constraints based solver
Completed research projects
(the most recent research is at the top)
Co-supervisor
Smart solving
Supervisor
Operations research based approaches for the (maximum) satisfiability problem
Classification
D11600
Probability theory, statistics
D11700
Operations research
D16300
Theoretical computer science
Go to Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation
