Constraint Solving for Contract-Signing Protocols

2005 ◽  
pp. 233-247 ◽  
Author(s):  
Detlef Kähler ◽  
Ralf Küsters
Keyword(s):  
Constraint Solving ◽  
Contract Signing

scholarly journals Fishery Logistics Insurance Management Schemes

2012 ◽  
Vol 6-7 ◽  
pp. 773-777 ◽  
Author(s):  
Yan Ling Wang
Keyword(s):  
Supply Chain ◽  
Insurance Contract ◽  
Insurance Companies ◽  
Supply Chain Risk ◽  
Exact Probability ◽  
Supply Chain Contract ◽  
High Expectations ◽  
Management Schemes ◽  
Contract Signing ◽  
Risk Insurance

The intense competition of global markets and consumers' high expectations forced enterprises to invest and concentrate on the relationship with their customers and suppliers. The growing interest in supply chain management, both in developed and developing countries in the fisheries. With the catastrophic events in the fisheries supply chain, the diversity of the fisheries risk and insurance issues become increasingly important. However, participants in the supply chain is a separate and independent economic entities, and only consider their own interests. In this article, the fisheries supply chain insurance contract on the basis of the model and the diversity of the fisheries risk and insurance policy issues, the behavior of each participant. In this article, the diversity of the fisheries supply chain risk and insurance process, the lack of sufficient knowledge of the fisheries supply chain contract signing or the exact probability of the insured event, the fisheries supply chain risk insurance companies use the information provided by the fisheries supply chain contract signature the signing of the contract or the behavior of the fisheries supply chain insurers of people insured or fisheries supply chain and fisheries supply chain in order to establish the parameters of the insurance contract of the fisheries supply chain.

CSS Minification via Constraint Solving

2019 ◽  
Vol 41 (2) ◽  
pp. 1-76
Author(s):  
Matthew Hague ◽  
Anthony W. Lin ◽  
Chih-Duo Hong
Keyword(s):  
Constraint Solving

Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups

Constraints ◽  
2004 ◽  
Vol 9 (3) ◽  
pp. 167-192
Author(s):  
Guillem Godoy ◽  
Robert Nieuwenhuis
Keyword(s):  
Constraint Solving

Backpropagation networks for logic constraint solving

1994 ◽  
Vol 6 (1) ◽  
pp. 67-98 ◽  
Author(s):  
Angelo Monfroglio
Keyword(s):  
Constraint Solving
Sign in / Sign up

Export Citation Format

Share Document