Sheila Mcllraith

According to our database, Sheila Mcllraith authored at least 2 papers in 2001.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2001

Theorem Proving with Structured Theories (Preliminary Report)^*.

Sheila Mcllraith, Eyal Amir

Electron. Notes Discret. Math., 2001

Solving Satisfiability using Decomposition and the Most Constrained Subproblem (Preliminary Report).

Eyal Amir, Sheila Mcllraith

Electron. Notes Discret. Math., 2001