Search

Marco Cadoli

Compiling problem specifications into SAT
Compiling program specifications into SAT
textscLocal++: A C++ Framework for Local Search Algorithms
textscNP-Spec: An Executable Specification Language for Solving All Problems in NP
textscLocal++: A C++ Framework for Combinatorial Search Problems
textscLocal++: A C++ Framework for Local Search Algorithms
textscnp-spec: An Executable Specification Language for Solving All Problems in NP
Esercizi di progettazione di programmi in C++
Fondamenti della progettazione dei programmi. Princìpi, tecniche e loro applicazioni in C++

Published with Wowchemy — the free, open source website builder that empowers creators.