Symbolic Computation and Satisfiability Checking
Published February 20, 2017 | Version v1
Dataset Open

Dataset supporting 'What Does "Without Loss of Generality" Mean (And How Do We Detect It)'

Creators

  • 1. University of Bath

Description

This is the dataset (Maple files and PDF equivalents) supporting the paper 'What Does "Without Loss of Generality"  Mean (And How Do We Detect It)', presented at the Symbolic Computation and Satisfiability Checking workshop at SYNASC 2016 ( 24-27September 2016, Timisoara) and published by CEUR-WS.

Files

SC2-BATH-SC2-2106.zip

Files (4.2 MB)

Name Size Download all
md5:501b0aa7e9c63d0b6254b2e0412b7473
4.2 MB Preview Download

Additional details

Funding

SC-square – SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems 712689
European Commission