BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × USA
Collaborated with:
Talks about:
preliminari (1) subproblem (1) decomposit (1) constrain (1) structur (1) theorem (1) satisfi (1) theori (1) report (1) prove (1)

Person: Sheila Mcllraith

DBLP DBLP: Mcllraith:Sheila

Contributed to:

SAT 20012001

Wrote 2 papers:

SAT-2001-AmirM #composition #problem #satisfiability #using
Solving Satisfiability using Decomposition and the Most Constrained Subproblem (EA, SM), pp. 329–343.
SAT-2001-McllraithA #proving #theorem proving
Theorem Proving with Structured Theories (Preliminary Report)* (SM, EA), pp. 311–328.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.