Study of proof search algorithms for resolution and polynomial calculus

Annual Symposium on Foundations of Computer Science - Proceedings

Volumn , Issue , 1999, Pages 422-431

  Bonet, Maria Luisa ^a   Galesi, Nicola ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SIMULATION; DIFFERENTIATION (CALCULUS); THEOREM PROVING;

POLYNOMIAL CALCULUS; PROOF COMPLEXITY THEORY; PROOF SEARCH ALGORITHMS;

POLYNOMIALS;

EID: 0033342535     PISSN: 02725428     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)