Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
using constraint » in constraint (Expandir a busca), and constraint (Expandir a busca), side constraints (Expandir a busca)
symmetric using » asymmetric single (Expandir a busca), symmetric loading (Expandir a busca)
constraint programming » concurrent programming (Expandir a busca)
using constraint » in constraint (Expandir a busca), and constraint (Expandir a busca), side constraints (Expandir a busca)
symmetric using » asymmetric single (Expandir a busca), symmetric loading (Expandir a busca)
1
Assuntos:
“...Constraint qualifications...”
Nonlinear symmetric cone programming: a geometric perspective
Dissertação
2
3
“... performed using also an improved algorithm. Upper bounds for solving nominal equality-checking problems are...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese