Tour
News
People
Projects
Events
Publications
expressivity
Compiling problem specifications into SAT
Marco Cadoli
,
Andrea Schaerf
PDF
Cite
DOI
Compiling program specifications into SAT
Marco Cadoli
,
Andrea Schaerf
Cite
textscNP-Spec: An Executable Specification Language for Solving All Problems in NP
Marco Cadoli
,
Giovambattista Ianni
,
Luigi Palopoli
,
Andrea Schaerf
,
Domenico Vasile
PDF
Cite
textscnp-spec: An Executable Specification Language for Solving All Problems in NP
Marco Cadoli
,
Luigi Palopoli
,
Andrea Schaerf
,
Domenico Vasile
Cite
Cite
×