Sökning: "Maria Andreina Francisco Rodriguez"
Hittade 1 uppsats innehållade orden Maria Andreina Francisco Rodriguez.
1. Consistency of Constraint Networks Induced by Automaton-Based Constraint Specifications
Master-uppsats, Uppsala universitet/Institutionen för informationsteknologiSammanfattning : In this work we discuss the consistency of constraints for which the set of solutions can be recognised by a deterministic finite automaton. Such an automaton induces a decomposition of the constraint into a conjunction of constraints. LÄS MER
Resultatsidor:
1