Clingcon: The next generation

Mutsunori Banbara, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub. Clingcon: The next generation. TPLP, 17(4):408-461, 2017. [doi]

Authors

Mutsunori Banbara

This author has not been identified. Look up 'Mutsunori Banbara' in Google

Benjamin Kaufmann

This author has not been identified. Look up 'Benjamin Kaufmann' in Google

Max Ostrowski

This author has not been identified. Look up 'Max Ostrowski' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google