Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
FourierSAT - MaRDI portal

FourierSAT

From MaRDI portal

Software:56159

Jump to:navigation, search

swMATH40459MaRDI QIDQ56159

No author found.

Source code repository: https://github.com/vardigroup/FourierSAT

Described by source

Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions

Related Items (1)

XOR local search for Boolean Brent equations

This page was built for software: FourierSAT

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Software:56159&oldid=29538429"