( en | de | ru )

 

Disambiguation of "Gretton, Charles"

Author of the publication

copydeleteadd this publication to your clipboard
Combining Adaptive and Dynamic Local Search for Satisfiability.

, , , and . J. Satisf. Boolean Model. Comput., 4 (2-4): 149-172 (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George Hermann Gretton

Charles Asseke

Charles Bannerman

Charles Trenckle

Charles Melis

 

Other publications of authors with the same name

A TIL-Relaxed Heuristic for Planning with Time Windows., , and . ICAPS, page 2-10. AAAI Press, (2018)Partial Weighted MaxSAT for Optimal Planning., , , and . PRICAI, volume 6230 of Lecture Notes in Computer Science, page 231-243. Springer, (2010)SAT-Based Parallel Planning Using a Split Representation of Actions., , , and . ICAPS, AAAI, (2009)Enhanced adaptive optics control with image to image translation., , , and . UAI, volume 180 of Proceedings of Machine Learning Research, page 1846-1856. PMLR, (2022)The Role of Stop-Loss Orders in Market Efficiency and Stability: An Agent-Based Study., , and . ICAART (1), page 280-288. SCITEPRESS, (2024)Dagster: Parallel Structured Search., , , , , and . AAAI, page 16404-16406. AAAI Press, (2023)Exploiting First-Order Regression in Inductive Policy Selection., and . UAI, page 217-225. AUAI Press, (2004)Ants caught in the Semantic Web: A study in the application of description logic to animal systematics., and . SSDBM, page 441-442. IEEE Computer Society, (2004)Combining Adaptive and Dynamic Local Search for Satisfiability., , , and . J. Satisf. Boolean Model. Comput., 4 (2-4): 149-172 (2008)A simulation-optimisation genetic algorithm approach to product allocation in vending machine systems., , , and . Expert Syst. Appl., (2020)