Giovanni Stracquadanio

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 4

Top Topics

Satisfiability Problem

Pspace Complete

Stochastic Local Search

Top Venues

J. Comput. Phys.

Publications