0
$\begingroup$

I'm interested in solving constraint satisfaction problems involving polynomial functions of real variables using transformers. The papers available only deal with boolean SATs in CNF format e.g., Solving for (3ab^3 + 7a^2b >=73) AND (20a^3 -3ab^2 <=51) where a,b are real variables, AND is a logical operator connecting two polynomial inequalities. The entire expression is a constraint and target of the deep learning model would be generate values of 'a' and 'b' which satisfies it.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.