scientific article; zbMATH DE number 555223
From MaRDI portal
Publication:4288820
zbMath0810.68058MaRDI QIDQ4288820
No author found.
Publication date: 19 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items
DYNAMICS OF CRIME TRANSMISSION USING FRACTIONAL-ORDER DIFFERENTIAL EQUATIONS ⋮ Probabilistic argumentation ⋮ Dynamic graph models ⋮ The complexity of query evaluation in indefinite temporal constraint databases ⋮ Representing and solving finite-domain constraint problems using systems of polynomials ⋮ Ordered Binary Decision Diagrams and the Davis-Putnam procedure ⋮ A foundation for higher-order concurrent constraint programming ⋮ From local to global consistency in temporal constraint networks ⋮ Solving linear, min and max constraint systems using CLP based on relational interval arithmetic ⋮ Reservation table scheduling: branch-and-bound based optimizationvs. integer linear programming techniques ⋮ The essence of constraint propagation ⋮ On the Number of Rule Applications in Constraint Programs ⋮ Constraint-generating dependencies ⋮ Local consistency for extended CSPs ⋮ A class of polynomially solvable range constraints for interval analysis without widenings ⋮ Combining slicing and constraint solving for validation of measurement software
