Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-10 ل  492 نتائج ل ""Constraint""

فلترة النتائج

Collection : Universite De Lorraine
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

KBO Constraint Solving Revisited

Subjects: KBO Constraint Solving NP-complete problem Weight Ordering Constraint Solving; KBO Constraint Solving; NP-complete problemPrague (CZ); Czech Republic

  • Source: Frontiers of Combining Systems - 14th International Symposium ; https://inria.hal.science/hal-04313806 ; Frontiers of Combining Systems - 14th International Symposium, Sep 2023, Prague (CZ), Czech

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

The 2-Dimensional Constraint Loop Problem Is Decidable

Subjects: 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops Minkowski-Weyl Convex Sets Asymptotic Expansions Digital Object Identifier 10.4230/LIPIcs.ICALP.2024.140 Category Track B: Automata Logic Semantics and Theory of Programming ]; 2012 ACM Subject Classification Theory of computation → Program verification Keywords and phrases Linear Constraints Loops; Minkowski-WeylTallin; EstoniaTallin, Estonia

  • Source: 51st International Colloquium on Automata, Languages, and Programming (ICALP 2024)https://inria.hal.science/hal-0464441751st International Colloquium on Automata, Languages, and

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Multi-objective Process and Production Planning Integration in Reconfigurable Manufacturing Environment: Augmented E-constraint Based Approach

Subjects: Sustainability; Process planning; Production planningMoroccoAgadir, Morocco

  • Source: 13ème Conférence Internationale de MOdélisation, Optimisation et SIMulation : « Nouvelles avancées et défis pour des industries durables et avisées » : MOSIM 20, 12-14 Novembre 2020 : actes de

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Maximization of the Steklov Eigenvalues with a Diameter Constraint

Subjects: Shape optimization; shape derivative; spectral geometry

  • Source: ISSN: 0036-1410 ; SIAM Journal on Mathematical Analysis ; https://hal.science/hal-02558282 ; SIAM Journal on Mathematical Analysis, 2020, 53 (1), pp.710-729. ⟨10.1137/20M1335042⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Computing AES related-key differential characteristics with constraint programming

Subjects: Constraint Programming; AES; Differential cryptanalysis

  • Source: ISSN: 0004-3702 ; Artificial Intelligence ; https://hal.science/hal-02327893 ; Artificial Intelligence, 2020, 278, pp.103183 (24). ⟨10.1016/j.artint.2019.103183⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Report

An ADMM-based algorithm with minimum dispersion constraint for on-line blind unmixing of hyperspectral images

Subjects: Hyperspectral imaging; Pushbroom acquisition system; On-line unmixing

  • Source: https://hal.science/hal-02477617 ; 2020.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Using Constraint Programming to solve a Cryptanalytic Problem

Subjects: Constraint programming; Cryptanalysis; AES block cipherMelbourne; Australia

  • Source: IJCAI 2017 - International Joint Conference on Artificial Intelligence (Sister Conference Best Paper Track) ; https://hal.science/hal-01528272 ; IJCAI 2017 - International Joint Conference on

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Revisiting AES Related-Key Differential Attacks with Constraint Programming

Subjects: AES; Constraint Programming; Related-key attacks

  • Source: ISSN: 0020-0190 ; Information Processing Letters ; https://hal.science/hal-01827727 ; Information Processing Letters, 2018, 139, pp.24-29. ⟨10.1016/j.ipl.2018.07.001⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Minimization of the eigenvalues of the Dirichlet-LapIacian with a diameter constraint

Subjects: Dirichlet eigenvalues; spectral geometry; diameter constraint

  • Source: ISSN: 0036-1410 ; SIAM Journal on Mathematical Analysis ; https://hal.science/hal-01674302 ; SIAM Journal on Mathematical Analysis, 2018, 50 (5), pp.5337-5361. ⟨10.1137/17M1162147⟩.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Conference

Fast Cube Tests for LIA Constraint Solving

Subjects: Linear Arithmetic; SMT; Integer ArithmeticCoimbra; Portugal

  • Source: Automated Reasoning - 8th International Joint Conference (IJCAR 2016) ; https://inria.hal.science/hal-01403200 ; Automated Reasoning - 8th International Joint Conference (IJCAR 2016), 2016, Coimbra,

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-10 ل  492 نتائج ل ""Constraint""