Pages that link to "Item:Q1799090"

The following pages link to A generic framework for implicate generation modulo theories (Q1799090):

Displaying 2 items.

• Scalable algorithms for abduction via enumerative syntax-guided synthesis (Q2096443) (← links)
• Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL (Q2104508) (← links)