Pages that link to "Item:Q5705953"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705953):
Displaying 6 items.
- Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs (Q622117) (← links)
- Improved algorithms for the general exact satisfiability problem (Q2232607) (← links)
- Generalized Davis-Putnam and satisfiability problems in mathematics (Q3577911) (← links)
- (Q3580786) (← links)
- Reducts of Propositional Theories, Satisfiability Relations, and Generalizations of Semantics of Logic Programs (Q4649731) (← links)
- Satisfiability Checking of Non-clausal Formulas Using General Matings (Q5756567) (← links)