Instantiation of SMT problems modulo Integers
type: Dataset
description: Research report, long version of our AISC 2010 paper
issued: 2026-05-07T03:51:38.255703
language: en
modified: 2026-05-07T03:51:38.255708
contact point: Organization
  fn: CCSD
keyword: infoeu-reposemanticspreprint
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
keyword: preprints-working-papers-
landing page: https://hal.science/hal-00940677

Instantiation of SMT problems modulo Integers
type: Distribution
format: HTML
issued: 2026-05-07T03:51:38.256996
modified: 2026-05-07T03:51:38.250541
access URL: https://hal.science/hal-00940677

test_moissonnage_selune
type: Agent