Stack Overflow
Stack Overflow

Max Ostrowski
575
reputation
1
3
15
  • Member since July 16 2018
  • 66 profile views
  • Last seen Aug 25 '23 at 07:53

Answering questions about Answer Set Programming (ASP), Logic Programming (LP), Constraint Programming (CP), IntegerLinearProgramming (ILP), Satisfiability testing (SAT) modulo theories (SMT) and other non-polynomial (NP) stuff ;)