Search Sciweavers | Sciweavers

3725 search results - page 26 / 745

» DLP System Description

click to vote

CADE
1998
Springer

103views Logical Reasoning» more CADE 1998»

System Description: CRIL Platform for SAT

14 years 2 months ago

Download www.cril.univ-artois.fr

The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...

Bertrand Mazure, Lakhdar Sais, Éric Gr&eacu...

claim paper

Read More »

click to vote

CADE
1992
Springer

116views Logical Reasoning» more CADE 1992»

IMPS: System Description

14 years 1 months ago

Download imps.mcmaster.ca

network of theories. Results are typically proved in compact, abstract theories, and then transported as needed to more concrete theories, or indeed to Supported by the MITRE-Spon...

William M. Farmer, Joshua D. Guttman, F. Javier Th...

claim paper

Read More »

click to vote

MUC
1993

107views Natural Language Processing» more MUC 1993»

NEC: description of the VENIEX system as used for MUC-5

14 years 1 months ago

Download www.aclweb.org

Kazunori Muraki, Shinichi Doi, Shinichi Ando

claim paper

Read More »