( en | de | ru )

 

Disambiguation of "Gutiérrez, Gloria"

Author of the publication

copydeleteadd this publication to your clipboard
Satisfiability Testing for Boolean Formulas Using Delta-trees.

, , , , and . Stud Logica, 72 (1): 85-112 (2002)

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.

Raúl Gutiérrez

Lirio Gutiérrez

Alicia Gutiérrez González

Rafael Gutiérrez Girardot

Juan Vargas-Gutiérrez

 

Other publications of authors with the same name

Satisfiability Testing for Boolean Formulas Using Delta-trees., , , , and . Stud Logica, 72 (1): 85-112 (2002)Restricted ideals and the groupability property. Tools for temporal reasoning., , , and . Kybernetika, 39 (5): 521-546 (2003)Aeration control of a wastewater treatment plant using hybrid NMPC., , , and . Comput. Chem. Eng., 35 (4): 638-650 (2011)An MPC-based control structure selection approach for simultaneous process and control design., , , and . Comput. Chem. Eng., (2014)A comparison between two methods of stochastic optimization for a dynamic hydrogen consuming plant., , , , and . Comput. Chem. Eng., (2014)Optimal management of hydrogen in a petrol refinery., , , , , , , and . ECC, page 1019-1024. IEEE, (2016)On Congruences and Homomorphisms on Some Non-deterministic Algebras., , , , and . IJCCI, page 59-67. INSTICC Press, (2009)Finitary coalgebraic multisemilattices and multilattices., , , , and . Appl. Math. Comput., 219 (1): 31-44 (2012)Congruence relations on some hyperstructures., , , , and . Ann. Math. Artif. Intell., 56 (3-4): 361-370 (2009)An improvement-based MILP optimization approach to complex AWS scheduling., , , and . Comput. Chem. Eng., (2012)