LIBROS DEL AUTOR: victor marek

1 resultados para LIBROS DEL AUTOR: victor marek

victor marek Eliminar filtro Quitar filtros
  • Introduction to Propositional Satisfiability
    Victor Marek
    Propositional logic allows for description and then solving of a significant class of constraint satisfaction problems, namely those that require that thedomains of variables are finite.As such, propositional logic finds applications in describing problems stemmingfrom computer science, computer engineering and combinatorial optimization.But logic goes beyond just providing des...
    Disponible

    28,83 €