01720nlm 2200325 450 99645335060331620220121134550.0978111803303620160816h2000---- uy 0engUSdrcnuLogic-based methods for optimizationcombining optimization and constraint satisfactionJohn HookerNew YorkJohn Wiley & Sons, Inc.2000Testo elettronico (PDF) (XVII, 498 p.)Wiley-Interscience series in discrete mathematics and optimizationBase dati testualeUno sguardo pionieristico al ruolo fondamentale della logica nell'ottimizzazione e nella soddisfazione dei vincoli. Sebbene i recenti sforzi per combinare ottimizzazione e soddisfazione dei vincoli abbiano ricevuto notevole attenzione, poco è stato detto sull'utilizzo della logica nell'ottimizzazione come chiave per unificare i due campi. I metodi basati sulla logica per l'ottimizzazione sviluppa per la prima volta un quadro concettuale completo per integrare l'ottimizzazione e la soddisfazione dei vincoli, quindi fa un ulteriore passo avanti e mostra come l'estensione dell'inferenza logica all'ottimizzazione consenta una modellazione più potente e flessibileWiley-Interscience series in discrete mathematics and optimizationProgrammazione lineareBNCF519.72HOOKER,John1949-860609cbaITcbaREICATcbaITcbaREICATcbaITcbaREICAT996453350603316EBERLogic-based methods for optimization1920469UNISA