Search Results for author:
Found 1 papers, 0 papers with code
Hybrid Automated Reasoning Tools: from Black-box to Clear-box Integration
Recently, researchers in answer set programming and constraint programming spent significant efforts in the development of hybrid languages and solving algorithms combining the strengths of these traditionally separate fields.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
