Automated reformulation of specifications by safe delay of constraints (Q2457622)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Automated reformulation of specifications by safe delay of constraints |
scientific article |
Statements
Automated reformulation of specifications by safe delay of constraints (English)
0 references
23 October 2007
0 references
modelling
0 references
reformulation
0 references
second-order logic
0 references
propositional satisfiability
0 references
constraint satisfaction problems
0 references
0 references