Expressivity

Compiling problem specifications into SAT

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite DOI
Compiling program specifications into SAT

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite
textscNP-Spec: An Executable Specification Language for Solving All Problems in NP

Add the full text or supplementary notes for the publication here using Markdown formatting.

PDF Cite
textscnp-spec: An Executable Specification Language for Solving All Problems in NP

Add the full text or supplementary notes for the publication here using Markdown formatting.

Cite