Suchergebnisse - Albuquerque, Higo F. | OPAC THWS

1

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.

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

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
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

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
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

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

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

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

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

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

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: