András Kovács

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q6124963	2024-04-10	Paper
For Finitary Induction-Induction, Induction is Enough	2023-10-27	Paper
Unified Field Theory and Occam's Razor	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