(coordinating) used preceding words, phrases, or clauses joined by and, used to emphasize that not just one, but also the other of the joined elements is included: both she and her sister enjoyed the play, …
In the maximum satisfiability problem (MAX-SAT) we are given a propositional formula in conjunctive normal form and have to find an assignment that satisfies as many clauses as possible. We study the parallel parameterized complexity of various versi...
We present an effective technique for training deep learning agents capable of negotiating on a set of clauses in a contract agreement using a simple communication protocol. We use Multi Agent Reinforcement Learning to train both agents simultaneousl...