L o a n d r a ,   a n   i n c o m p l e t e   M a x S A T   s o l v e r   b a s e d   o n   c o r e - b o o s t i n g ,   s o l u t i o n - g u i d e d   s e a r c h ,   a n d   v a r y i n g   r e s o l u t i o n .   P l e a s e   r e f e r   t o   t h e   C P A I O R ' 1 9   p a p e r   " C o r e - B o o s t e d   L i n e a r   S e a r c h   f o r   I n c o m p l e t e   M a x S A T "   a n d   " T e c h n i q u e s   I n s p i r e d   b y   L o c a l   S e a r c h   f o r   I n c o m p l e t e   M a x S A T   a n d   t h e   L i n e a r   A l g o r i t h m :   V a r y i n g   R e s o l u t i o n   a n d   S o l u t i o n - G u i d e d   S e a r c h " . 