Pages that link to "Item:Q1189727"
From MaRDI portal
The following pages link to The linked inference principle. I: The formal treatment (Q1189727):
Displayed 3 items.
- The application of automated reasoning to formal models of combinatorial optimization (Q1854978) (← links)
- Using hints to increase the effectiveness of an automated reasoning program: Case studies (Q1923820) (← links)
- Linear and unit-resulting refutations for Horn theories (Q1923821) (← links)