$ clingo-lpx -c n=132 encoding-lp.lp tai4_4_1.lp clingo-lpx version 1.1.0 Reading from encoding-lp.lp ... Solving... Answer: 1 [...] Assignment: (1,1)=132 (1,2)=0 (1 ...
In this communication, the performance of the generalized minimum residual method (GMRES) preconditioned by a domain decomposition method (DDM) scheme embedded in a surface integral equation (SIE) ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results