ON THE SATISFIABILITY PROBLEM FOR CLASSES OF STRUCTURES RELATED TO FINITE DIMENSIONAL VECTOR SPACES CHRISTIAN HERRMANN, YASUYUKI TSUKAMOTO, AND MARTIN ZIEGLER 1. Introduction

First Page		Document Content
Date: 2015-06-30 19:27:29		ON THE SATISFIABILITY PROBLEM FOR CLASSES OF STRUCTURES RELATED TO FINITE DIMENSIONAL VECTOR SPACES CHRISTIAN HERRMANN, YASUYUKI TSUKAMOTO, AND MARTIN ZIEGLER 1. Introduction Add to Reading List Source URL: www.cs.swansea.ac.uk Download Document from Source Website File Size: 250,91 KB Share Document on Facebook