( en | de | ru )

 

Disambiguierung von "Cadoli, Marco"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On the Separability of Subproblems in Benders Decompositions.

, und . CPAIOR, Volume 3990 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Monika Marcotty

Johannes Marcour

Hans-Ernst Marcolin

Carlos Javier Marcos Navas

Massimiliano Marcon

 

Weitere Publikationen von Autoren mit dem selben Namen

Evaluating ASP and Commercial Solvers on the CSPLib., , , und . ECAI, Volume 141 von Frontiers in Artificial Intelligence and Applications, Seite 68-72. IOS Press, (2006)Approximate Inference in Default Logic and Circumscription., und . ECAI, Seite 319-323. John Wiley and Sons, (1992)The Size of a Revised Knowledge Base., , , und . PODS, Seite 151-162. ACM Press, (1995)On the Separability of Subproblems in Benders Decompositions., und . CPAIOR, Volume 3990 von Lecture Notes in Computer Science, Seite 74-88. Springer, (2006)Evaluating ASP and commercial solvers on the CSPLib (Preliminary work)., , , und . WLP, Volume 1843-06-02 von INFSYS Research Report, Seite 54-63. Technische Universität Wien, Austria, (2006)Feasibility and Unfeasibility of Off-Line Processing., , , und . ISTCS, Seite 100-109. IEEE Computer Society, (1996)NP-SPEC: An Executable Specification Language for Solving All Problems in NP., , , und . PADL, Volume 1551 von Lecture Notes in Computer Science, Seite 16-30. Springer, (1999)Approximation in Concept Description Languages., und . KR, Seite 330-341. Morgan Kaufmann, (1992)Semantical and Computational Aspects of Horn Approximations.. IJCAI, Seite 39-45. Morgan Kaufmann, (1993)Experimental Analysis of the Computational Cost of Evaluating Quantified Boolean Formulae., , und . AI*IA, Volume 1321 von Lecture Notes in Computer Science, Seite 207-218. Springer, (1997)