Automatic generation of benchmark problems for automated theorem proving systems

From Semantic Portal Wiki

Jump to: navigation, search

{{#vardefine:category|Publication}}{{#vardefine:templatename|i.publication}}{{#vardefine:package|smwbp_instance_templates}}

Edit

Reference: {{#vardefine:pagename|automatic generation of benchmark problems for automated theorem proving systems }}

  1. [[]]

bibtex 

{{#vardefine:pagename|Automatic generation of benchmark problems for automated theorem proving systems }}{{#vardefine:key| }}

abstract:


download:

  • paper:
  • slides:
Retrieved from "http://tw.rpi.edu/portal/Automatic_generation_of_benchmark_problems_for_automated_theorem_proving_systems"
Facts about Automatic generation of benchmark problems for automated theorem proving systemsRDF feed
AuthorSimon Colton  +, and Geoff Sutcliffe  +
Bibtypeinproceedings  +
BooktitleAMAI  +
Doihttp://rutcor.rutgers.edu/$\sim$amai/aimath02/PAPERS/6.ps  +
Keydblp:conf/amai/coltons02  +
Sourcehttp://dblp.uni-trier.de/rec/bibtex/conf/amai/ColtonS02  +
TagComputer science  +
TitleAutomatic Generation of Benchmark Problems for Automated Theorem Proving Systems  +
Year2002  +
Personal tools
Semantic Web Community
Tetherless World constellation
maintenance