scientific article; zbMATH DE number 810103

MaRDI QIDQ4853315zbMATH OpenFDO

Authors Joaquim Gabarró, Maria Serna

Publication date 13 February 1996

zbMATH Keywords

CSP processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Linear Logic as CSP
• Linear CNF formulas and satisfiability
• A Process-Model for Linear Programs
• Linear programs for constraint satisfaction problems
• scientific article; zbMATH DE number 1515283
• scientific article; zbMATH DE number 1638655
• On Linear CNF Formulas
• CSP and Kripke Structures
• scientific article; zbMATH DE number 1322791
• Compiling finite linear CSP into SAT

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4853315)