An Instantiation Scheme for Satisfiability Modulo Theories
type: Distribution
access URL: https://hal.science/hal-00933247
format: HTML
issued: 2026-05-07T08:35:41.602996
modified: 2026-05-07T08:35:41.588771

An Instantiation Scheme for Satisfiability Modulo Theories
type: Dataset
contact point: Organization
  fn: CCSD
keyword: satisfiability-modulo-theories
keyword: instantiation-based-theorem-proving
keyword: decision-procedures
keyword: journal-articles
keyword: infoeu-reposemanticsarticle
keyword: infoinfo-locomputer-science-cslogic-in-computer-science-cslo
landing page: 0168-7433
description: International audience
issued: 2026-05-07T08:35:41.600442
language: en
modified: 2026-05-07T08:35:41.600447

test_moissonnage_selune
type: Agent