The following pages link to Zbigniew Stachniak (Q687162):
Displayed 31 items.
- An essay on resolution logics (Q687163) (← links)
- Many-valued computational logics (Q912083) (← links)
- (Q1106832) (redirect page) (← links)
- Two theorems on many-valued logics (Q1106833) (← links)
- A resolution framework for finitely-valued first-order logics (Q1185455) (← links)
- Resolution approximation of first-order logics (Q1187026) (← links)
- On finitely-valued inference systems (Q1580664) (← links)
- Nonmonotonic theories and their axiomatic varieties (Q1910893) (← links)
- Extending resolution to resolution logics (Q3211281) (← links)
- (Q3351354) (← links)
- (Q3485886) (← links)
- Weighting strategy for non-clausal resolution (Q3499018) (← links)
- Speeding-Up Non-clausal Local Search for Propositional Satisfiability with Clause Learning (Q3502713) (← links)
- Note on Structural Logics (Q3714046) (← links)
- (Q3797165) (← links)
- (Q3816058) (← links)
- (Q3929719) (← links)
- (Q4200045) (← links)
- (Q4217961) (← links)
- (Q4250059) (← links)
- (Q4273485) (← links)
- (Q4287516) (← links)
- (Q4329011) (← links)
- (Q4354887) (← links)
- (Q4450444) (← links)
- (Q4526736) (← links)
- (Q4881605) (← links)
- Improved Local Search for Circuit Satisfiability (Q4930596) (← links)
- Artificial Intelligence and Symbolic Computation (Q5464705) (← links)
- Theory and Applications of Satisfiability Testing (Q5713728) (← links)
- (Q5748907) (← links)