default search action
"An Investigation of Variable Relationships in 3-SAT Problems."
Olena Kravchuk et al. (2002)
- Olena Kravchuk, Wayne J. Pullan, John Thornton, Abdul Sattar:
An Investigation of Variable Relationships in 3-SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 579-590
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.