Sheila Mcllraith

List of publications from the DBLP Bibliography Server - FAQ

2001

2 EE Sheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)^*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001)

1 EE Eyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001)

2001
2	EE	Sheila Mcllraith, Eyal Amir: Theorem Proving with Structured Theories (Preliminary Report)^*. Electronic Notes in Discrete Mathematics 9: 311-328 (2001)
1	EE	Eyal Amir, Sheila Mcllraith: Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report). Electronic Notes in Discrete Mathematics 9: 329-343 (2001)

Coauthor Index