This program uses HypBinRes+eq, the procedure defined in [1] to augment a grounded ASP program (in gringo's output format) with additional mutual exclusion (ie binary) constraints.

[1] Bacchus, Fahiem. "Enhancing Davis Putnam with extended binary clause reasoning." AAAI/IAAI 2002 (2002): 613-619.

Project Activity

See All Activity >

Follow ASP-Mutex-Preprocessor

ASP-Mutex-Preprocessor Web Site

You Might Also Like
Simplify Purchasing For Your Business Icon
Simplify Purchasing For Your Business

Manage what you buy and how you buy it with Order.co, so you have control over your time and money spent.

Simplify every aspect of buying for your business in Order.co. From sourcing products to scaling purchasing across locations to automating your AP and approvals workstreams, Order.co is the platform of choice for growing businesses.
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of ASP-Mutex-Preprocessor!

Additional Project Details

Registered

2014-03-29