A Reasoning Method for Timed CSP Based on Constraint Solving

Lecture Notes in Computer Science- Germany

doi 10.1007/11901433_19

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

A Method for Testing Real-Time System Based on Timed Automata

Ruan Jian Xue Bao/Journal of Software
Software
2007English

Geometric Constraint Solving Based on Connectivity of Graph

Computer-Aided Design and Applications
Computational MechanicsComputational MathematicsComputer GraphicsComputer-Aided Design
2004English

A Model-Theoretic View on Qualitative Constraint Reasoning

Journal of Artificial Intelligence Research
Artificial Intelligence
2017English

Timed Default Concurrent Constraint Programming

Journal of Symbolic Computation
Computational MathematicsNumber TheoryAlgebra
1996English

Towards Sequence-To-Sequence Reinforcement Learning for Constraint Solving With Constraint-Based Local Search

Proceedings of the AAAI Conference on Artificial Intelligence
2019English

Method for Solving LASSO Problem Based on Multidimensional Weight

Advances in Artificial Intelligence
2017English

A Layout Design System Based on Constraint-Directed Reasoning. 1st Report: The Fundamental Approach.

Nippon Kikai Gakkai Ronbunshu, C Hen/Transactions of the Japan Society of Mechanical Engineers, Part C
Mechanics of MaterialsIndustrialMechanical EngineeringManufacturing Engineering
1990English

Executable Specifications for Hypothesis-Based Reasoning With Prolog and Constraint Handling Rules

Journal of Applied Logic
Applied MathematicsLogic
2009English

Conformance Relations for Distributed Testing Based on CSP

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy