András Kovács

Available identifiers

Publication	Date of Publication	Type
Generalized universe hierarchies and first-class universe levels	2024-04-10	Paper
For Finitary Induction-Induction, Induction is Enough	2023-10-27	Paper
Unified field theory and Occam's razor. Simple solutions to deep questions	2022-08-08	Paper
Assembly planning by disjunctive programming and geometrical reasoning	2022-03-09	Paper
Inverse optimization approach to the identification of electricity consumer models	2021-08-13	Paper
A syntax for higher inductive-inductive types	2021-06-15	Paper
Large and infinitary quotient inductive-inductive types	2021-01-21	Paper
Shallow embedding of type theory is morally correct	2020-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5216301	2020-02-17	Paper
Effect of silicon reinforcement on load-capacity of porous nanofilters	2018-08-23	Paper
Exact solution approaches for bilevel lot-sizing	2014-07-27	Paper
A cutting plane approach for integrated planning and scheduling	2012-11-15	Paper
On bilevel machine scheduling problems	2012-05-23	Paper
Constraint programming approach to a bilevel scheduling problem	2011-11-23	Paper
A global constraint for total weighted completion time for unary resources	2011-04-06	Paper
Partitioning of trees for minimizing height and cardinality	2009-07-09	Paper
A Global Constraint for Total Weighted Completion Time	2009-03-10	Paper
Principles and Practice of Constraint Programming – CP 2004	2008-09-09	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2007-04-30	Paper

This page was built for person: András Kovács