Counterexample guided inductive optimization based on satisfiability modulo theories von Araújo, Rodrigo F., Albuquerque, Higo F., de Bessa, Iury V., Cordeiro, Lucas C., Chaves Filho, João E.

Volltext

SMT‐based context‐bounded model checking for CUDA programs von Pereira, Phillipe, Albuquerque, Higo, da Silva, Isabela, Marques, Hendrio, Monteiro, Felipe, Ferreira, Ricardo, Cordeiro, Lucas

Volltext

Counterexample guided inductive optimization based on satisfiability modulo theories von Araújo, Rodrigo F, Albuquerque, Higo F, De Bessa, Iury V, Cordeiro, Lucas C, Chaves Filho, João E

Volltext

OptCE: A Counterexample-Guided Inductive Optimization Solver von Albuquerque, Higo F., Araújo, Rodrigo F., Bessa, Iury V., Cordeiro, Lucas C., de Lima Filho, Eddie B.

Volltext

Counterexample Guided Inductive Optimization von Araujo, Rodrigo F, Albuquerque, Higo F, de Bessa, Iury V, Cordeiro, Lucas C, Filho, Joao Edgar C

Volltext bestellen

OptCE: A Counterexample-Guided Inductive Optimization Solver von Albuquerque, Higo F, Araújo, Rodrigo F, Bessa, Iury V, Cordeiro, Lucas C, De Lima Filho, Eddie B

Volltext bestellen

Counterexample Guided Inductive Optimization von Araujo, Rodrigo F, Albuquerque, Higo F, de Bessa, Iury V, Cordeiro, Lucas C, Filho, Joao Edgar C

Volltext