Computational complexity of problems over generalized formulas
Tesis doctoral de Victor Dalmau Lloret Datos académicos de la tesis doctoral «Computational complexity of problems over generalized formulas« […]
Tesis doctoral de pedro Meseguer gonzález
Información academica pedro Meseguer gonzález. Tesis donde pedro Meseguer gonzález ha sido autor, director o parte del tribunal.
Max sat formalisms with hard and soft constraints
Tesis doctoral de Josep Argelich Roma In this thesis we investigate max-sat formalisms for solving combinatorial optimization problems with hard
Propagación acotada en busqueda heurística en tiempo real en entornos inicialmente desconocidos
Tesis doctoral de Hernández Ulloa Carlos Marcelo Los problemas de búsqueda en donde el agente tiene un tiempo limitado para
Design and implementation of exact max-sat solvers
Tesis doctoral de Jordi Planes Cid El problema de la satisfactibilidad (sat) es el problema que trata de decidir si
Contributions to search and inference algorithms for csp and weighted csp
Tesis doctoral de Marti Sanchez Fibla This thesis presents a collection of new algorithms for solving constraint satisfaction problem (csp)
Contribution to geometric constraint solving in cooperative engineering
Tesis doctoral de Sebastiá Vila Marta Datos académicos de la tesis doctoral «Contribution to geometric constraint solving in cooperative
Constructive solid modeling based on constraints.
Tesis doctoral de LLuis Solano Anbajes Datos académicos de la tesis doctoral «Constructive solid modeling based on constraints.« Título
Validation of multi-level rule-based exfert systems
Tesis doctoral de Pedro Meseguer Gonzalez Datos académicos de la tesis doctoral «Validation of multi-level rule-based exfert systems« Título