( en | de | ru )

 

Disambiguation of "Terra-Neves, Miguel"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving.

, , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 232-250. Springer, (2019)

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.

Fabio Schittler Neves

Osama Terra

Domingos Terra

Jaroslav Neveselý

Sérgio Ricardo Neves Miranda

 

Other publications of authors with the same name

Concurrency Debugging with MaxSMT., , , and . AAAI, page 1608-1616. AAAI Press, (2019)On Repairing Natural Language to SQL Queries., , , , , , , and . CoRR, (2023)Encodings for Enumeration-Based Program Synthesis., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 583-599. Springer, (2019)Constraint-Based Techniques in Stochastic Local Search MaxSAT Solving., , , , and . CP, volume 11802 of Lecture Notes in Computer Science, page 232-250. Springer, (2019)Multi-Objective Optimization Through Pareto Minimal Correction Subsets., , and . IJCAI, page 5379-5383. ijcai.org, (2018)Enhancing Constraint-Based Multi-Objective Combinatorial Optimization., , and . AAAI, page 6649-6656. AAAI Press, (2018)Non-Portfolio Approaches for Distributed Maximum Satisfiability., , and . ICTAI, page 436-443. IEEE Computer Society, (2016)FOREST: An Interactive Multi-tree Synthesizer for Regular Expressions., , , , and . TACAS (1), volume 12651 of Lecture Notes in Computer Science, page 152-169. Springer, (2021)Introducing Pareto Minimal Correction Subsets., , and . SAT, volume 10491 of Lecture Notes in Computer Science, page 195-211. Springer, (2017)CUBES: A Parallel Synthesizer for SQL Using Examples., , , , and . CoRR, (2022)