6 results on '"Salamon, András"'
Search Results
2. Instance Generation via Generator Instances
3. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints
4. Automatic Discovery and Exploitation of Promising Subproblems for Tabulation
5. Perfect Constraints Are Tractable
6. Perfect Constraints Are Tractable.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.