Back to Results
First PageMeta Content
Logical syntax / Automated theorem proving / Formal languages / Formal methods / Vampire / Resolution / Conjunctive normal form / E theorem prover / First-order logic / Logic / Mathematics / Mathematical logic


First-Order Theorem Proving and VAMPIRE? Laura Kov´acs1 and Andrei Voronkov2 1 Chalmers University of Technology 2
Add to Reading List

Document Date: 2013-05-02 16:51:41

Open Document

File Size: 337,85 KB

Share Result on Facebook

City

Seattle / Sydney / Manchester / Copenhagen / Edinburgh / /

Company

X5 / VAMPIRE / /

Facility

Chalmers University of Technology / University of Manchester Abstract / /

IndustryTerm

saturation algorithms / proof-search / proof search pace / multi-core processor / saturation algorithm / proof-search options / parameters controlling search / present new and unconventional applications / Similar algorithms / verification systems / present saturation algorithms / proof-search algorithms / search space / proof search / /

OperatingSystem

MacOS / Linux / Microsoft Windows / /

Organization

Chalmers University of Technology / University of Manchester Abstract / /

Person

Laura Kov / Krystof Hoder / Andrei Voronkov / Laura Kov´acs / /

Position

first author / Forward / assistant / /

ProgrammingLanguage

C / /

SportsEvent

the world cup / /

Technology

three saturation algorithms / Linux / saturation algorithms / present saturation algorithms / saturation algorithm / proof-search algorithms / /

URL

http /

SocialTag