( en | de | ru )

 

Disambiguation of "Gomes, Carla P."

Author of the publication

copydeleteadd this publication to your clipboard
Extending the Reach of SAT with Many-Valued Logics.

, , , , and . Electron. Notes Discret. Math., (2001)

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.

Sabine Carland

Fernanda Ramos Gomes

Ana Maria Gomes Capelo Carregal Queirós

Virginia Gomes dos Santos

Jessica Gomes-Jelonek

 

Other publications of authors with the same name

Probabilistic planning with non-linear utility functions and worst-case guarantees., , , and . AAMAS, page 965-972. IFAAMAS, (2012)A Bayesian Approach to Tackling Hard Computational Problems, , , , , and . CoRR, (2013)Learning Policies for Battery Usage Optimization in Electric Vehicles., , , and . ECML/PKDD (2), volume 7524 of Lecture Notes in Computer Science, page 195-210. Springer, (2012)Collaborative multiagent Gaussian inference in a dynamic environment using belief propagation., , and . AAMAS, page 1419-1420. IFAAMAS, (2010)Challenges for CPAIOR in Computational Sustainability.. CPAIOR, volume 6140 of Lecture Notes in Computer Science, page 3-4. Springer, (2010)LP as a Global Search Heuristic Across Different Constrainedness Regions., and . CP, volume 3709 of Lecture Notes in Computer Science, page 853. Springer, (2005)Computing the Density of States of Boolean Formulas., , and . CP, volume 6308 of Lecture Notes in Computer Science, page 38-52. Springer, (2010)The Cardinality Matrix Constraint., and . CP, volume 3258 of Lecture Notes in Computer Science, page 572-587. Springer, (2004)QBF Modeling: Exploiting Player Symmetry for Simplicity and Efficiency., , , , and . SAT, volume 4121 of Lecture Notes in Computer Science, page 382-395. Springer, (2006)Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning., , and . Logical Methods in Computer Science, (2007)