Optimizing constraint solving by rewriting at least one bit-slice constraint
Singh, Jasvinder, Qiang, Qiang, Maturana, Guillermo R, Goswami, Dhiraj, Hung, Ngai Ngai William
Year of Publication 06.08.2019
Get full text
Year of Publication 06.08.2019
Patent
SYSTEM AND METHOD FOR 3D SURFACE CHARACTERIZATION OF OVERHANGS IN UNDERGROUND MINES
MUNOZ, Jorge, MATURANA, Guillermo, BRAVO, Gonzalo, FUENTES, Claudio, PINILLA, Gastón, BARRIGA, Jonhatan
Year of Publication 09.09.2016
Get full text
Year of Publication 09.09.2016
Patent
OPTIMIZING CONSTRAINT SOLVING BY REWRITING AT LEAST ONE BIT-SLICE CONSTRAINT
SINGH JASVINDER, GOSWAMI DHIRAJ, QIANG QIANG, MATURANA GUILLERMO R, HUNG NGAI NGAI WILLIAM
Year of Publication 04.02.2016
Get full text
Year of Publication 04.02.2016
Patent