Search

Your search keyword '"Monfroy, Eric"' showing total 11 results
Start Over Author "Monfroy, Eric" Topic local search
11 results on '"Monfroy, Eric"'

2. Hybrid CSP Solving

Author

Monfroy, Eric, Saubion, Frédéric, Lambert, Tony, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, and Gramlich, Bernhard, editor

Published
2005
Full Text
View/download PDF

3. A Component Language for Hybrid Solver Cooperations

Author

Monfroy, Eric, Castro, Carlos, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Yakhno, Tatyana, editor

Published
2005
Full Text
View/download PDF

4. Designing Hybrid Cooperations with a Component Language for Solving Optimisation Problems

Author

Castro, Carlos, Monfroy, Eric, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Bussler, Christoph, editor, and Fensel, Dieter, editor

Published
2004
Full Text
View/download PDF

5. On Hybridization of Local Search and Constraint Propagation

Author

Monfroy, Eric, Saubion, Frédéric, Lambert, Tony, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Demoen, Bart, editor, and Lifschitz, Vladimir, editor

Published
2004
Full Text
View/download PDF

6. Improving complex SMT strategies with learning.

Author

Gálvez Ramírez, Nicolás, Monfroy, Eric, Saubion, Frédéric, and Castro, Carlos

Subjects
LEARNING strategies, GENETIC programming
Abstract

Satisfiability modulo theory (SMT) solving strategies are composed of various components and parameters that can dramatically affect the performance of an SMT solver. Each of these elements includes a huge amount of options that cannot be exploited without expert knowledge. In this work, we analyze separately the different strategy components of the Z3 theorem prover, which is one of the most important solvers of the SMT community. We propose some rules for modifying components, parameters, and structures of solving strategies. Using these rules inside different engines leads to an automated strategy learning process which does not require any end‐user expert knowledge to generate optimized strategies. Our algorithms and rules are validated by optimizing some solving strategies for some selected SMT logics. These strategies are then tested for solving some SMT library benchmarks issued from the SMT competitions. The strategies we automatically generated turn out to be very efficient. [ABSTRACT FROM AUTHOR]

Published
2020
Full Text
View/download PDF

7. Towards a Formalization of Combinatorial Local Search.

Author

Monfroy, Eric, Saubion, Frédéric, Crawford, Broderick, and Castro, Carlos

Subjects
ALGORITHMS, COMBINATORIAL optimization, CONSTRAINT satisfaction, BACK propagation, FIXED point theory, SIMULATION methods & models
Abstract

Although there are some frameworks to formalize constraint propagation, there are only few studies of theoretical frameworks for local search. We are here concerned with the design of a generic framework to model local search as the computation of a fixed point of functions. This work allows one to simulate standard strategies used for local search, and to easily design new strategies in a uniform framework. [ABSTRACT FROM AUTHOR]

Published
2008

8. GUIDING TREE SEARCH WITH LOCAL SEARCH.

Author

MONFROY, Eric, CASTRO, Carlos, and CRAWFORD, Broderick

Subjects
*CONSTRAINT programming, *COMPUTER programming, *ELECTRONIC data processing, *MATHEMATICAL analysis, *COMPUTER algorithms, *MATHEMATICAL models
Abstract

For Constraint Programming (CP), enumeration strategies (selection of a variable and a value of its domain) are crucial for resolution peiformances. We propose to use Local Search for guiding enumeration: we extend the common variable selection strategies of CP and we achieve the value selection based on a Local Search. The experimental results are rather promising, both in terms of needed enumerations and in terms of CPU time. [ABSTRACT FROM AUTHOR]

Published
2009

Catalog

Books, media, physical & digital resources
See catalog results