• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه

عنوان
Principles and practice of constraint programming--CP'97 :

پدید آورنده
Gert Smolka (ed.).

موضوع
Constraint programming (Computer science),Constraint programming (Computer science) -- Congresses.,Programmatuurtechniek.

رده

کتابخانه
مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

محل استقرار
استان: قم ـ شهر: قم

مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی

تماس با کتابخانه : 32910706-025

شابک

شابک
3540637532
شابک
9783540637530

شماره کتابشناسی ملی

شماره
b552315

عنوان و نام پديدآور

عنوان اصلي
Principles and practice of constraint programming--CP'97 :
نام عام مواد
[Book]
ساير اطلاعات عنواني
Third International Conference, CP'97, Linz, Austria, October 29-November 1, 1997 : proceedings
نام نخستين پديدآور
Gert Smolka (ed.).

وضعیت نشر و پخش و غیره

محل نشرو پخش و غیره
Berlin ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1997.

مشخصات ظاهری

نام خاص و کميت اثر
xii, 561 pages : illustrations ; 24 cm

فروست

عنوان فروست
Lecture notes in computer science, 1330.

یادداشتهای مربوط به مندرجات

متن يادداشت
Visual Solver A modeling language for constraint programming.- Narrowing a 2n-block of sortings in O (n logn).- Solving various weighted matching problems with constraints.- A filtering algorithm for global sequencing constraints.- Semantics and expressive power of a timed concurrent constraint language.- Solving classes of set constraints with tree automata.- The logic of search algorithms: Theory and applications.- Verification of parallel systems using constraint programming.- Random constraint satisfaction: A more accurate picture.- Heavy-tailed distributions in combinatorial search.- Counting, structure identification and maximum consistency for binary constraint satisfaction problems.- Statistical analysis of backtracking on inconsistent CSPs.- Using constraint propagation for complex scheduling problems: Managing size, complex resources and travel.- Understanding and improving the MAC algorithm.- Modelling exceptionally hard constraint satisfaction problems.- Tabu search for maximal constraint satisfaction problems.- Reconfigurable architectures: A new vision for optimization problems.- Distributed partial constraint satisfaction problem.- Localizer A modeling language for local search.- Operational semantics and confluence of constraint propagation rules.- AC-unification of higher-order patterns.- On the complexity of unification and disunification in commutative idempotent semigroups.- Ordering constraints over feature trees.- From restricted path consistency to max-restricted path consistency.- The constrainedness of Arc consistency.- Look-ahead versus look-back for satisfiability problems.- Why adding more constraints makes a problem easier for hill-climbing algorithms: Analyzing landscapes of CSPs.- Interval methods for non-linear constraints.- Configurable solvers: Tailoring general methods to specific applications.- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems.- Five pitfalls of empirical scheduling research.- Bounding the optimum of constraint optimization problems.- GENIUS-CP: A generic single-vehicle routing algorithm.- Satisfiability of quantitative temporal constraints with multiple granularities.- Tractable recursion over geometric data.- Finding solvable subsets of constraint graphs.- Tractable disjunctive constraints.- Compiling constraint solving using projection.- Oscillation, heuristic ordering and pruning in neighborhood search.- Programming constraint inference engines.- NeMo+: Object-oriented constraint programming environment based on subdefinite models.- Set constraints: A pearl in research on constraints.

موضوع (اسم عام یاعبارت اسمی عام)

موضوع مستند نشده
Constraint programming (Computer science)
موضوع مستند نشده
Constraint programming (Computer science) -- Congresses.
موضوع مستند نشده
Programmatuurtechniek.

نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )

مستند نام اشخاص تاييد نشده
Gert Smolka (ed.).

نام شخص - (مسئولیت معنوی برابر )

مستند نام اشخاص تاييد نشده
Gert Smolka

دسترسی و محل الکترونیکی

نام الکترونيکي
 مطالعه متن کتاب 

اطلاعات رکورد کتابشناسی

نوع ماده
[Book]

اطلاعات دسترسی رکورد

تكميل شده
Y

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال