A new proposal of quasi-solved form for equality constraint solving (Q2871847)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: scientific article |
scientific article; zbMATH DE number 6244376
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new proposal of quasi-solved form for equality constraint solving |
scientific article; zbMATH DE number 6244376 |
Statements
10 January 2014
0 references
free equality theory
0 references
term algebra
0 references
constraint solving
0 references
satisfiability
0 references
solved form
0 references
0.8614381
0 references
0.8486166
0 references
0.8460156
0 references
A new proposal of quasi-solved form for equality constraint solving (English)
0 references
