Keywords: برنامه ریزی منطق محدودیت; Constraint logic programming; Typed λ-calculus; Higher-order logic; Kripke models;
مقالات ISI برنامه ریزی منطق محدودیت (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: برنامه ریزی منطق محدودیت; constraint logic programming; vehicle routing; pickup; delivery problem;
Keywords: برنامه ریزی منطق محدودیت; Privacy policies; Model-integrated computing; Constraint logic programming;
Predicting building façade structures with multilinear Gaussian graphical models based on few observations
Keywords: برنامه ریزی منطق محدودیت; 3D city models; CityGML; Stochastic reasoning; Hybrid Bayesian networks; Constraint logic programming;
Program verification via iterated specialization
Keywords: برنامه ریزی منطق محدودیت; Software model checking; Constraint logic programming; Program specialization; Program transformation
Mitigation of adverse interactions in pairs of clinical practice guidelines using constraint logic programming
Keywords: برنامه ریزی منطق محدودیت; Clinical practice guideline; Comorbid diseases; Constraint logic programming; Domain knowledge; Clinical decision support
From extended feature models to constraint logic programming
Keywords: برنامه ریزی منطق محدودیت; Variability modeling; Extended feature model; Feature attribute; Constraint logic programming
A declarative constraint-based method for analyzing discrete genetic regulatory networks
Keywords: برنامه ریزی منطق محدودیت; Genetic Regulatory Networks; Model building methods; Declarative approach; Constraint Logic Programming; Nutritional stress response; Escherichia coli
Goal-oriented test data generation for pointer programs
Keywords: برنامه ریزی منطق محدودیت; Goal-oriented test data generation; Constraint logic programming; Static single assignment form; Pointer variables
On the system of two all_different predicates
Keywords: برنامه ریزی منطق محدودیت; Combinatorial problems; all_different predicate; Constraint logic programming; Facet;
A hybrid MILP/CLP algorithm for multipurpose batch process scheduling
Keywords: برنامه ریزی منطق محدودیت; MILP/CLP algorithm; Constraint logic programming; Process scheduling;
Test Selection Strategies for Lustre Descriptions in GATeL
Keywords: برنامه ریزی منطق محدودیت; Lustre; constraint logic programming; test generation; data-flow computation;
Time-constrained scheduling of large pipelined datapaths
Keywords: برنامه ریزی منطق محدودیت; Scheduling; High-level synthesis; Allocation; Pipeline; Genetic algorithm; Constraint logic programming;
Generating two-terminal directed acyclic graphs with a given complexity index by constraint logic programming
Keywords: برنامه ریزی منطق محدودیت; Algorithms; Directed acyclic graph; Network generator; Constraint logic programming; Complexity index;