Suchergebnisse - Sheini, Hossein M. | OPAC THWS

1

A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic von Sheini, Hossein M., Sakallah, Karem A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems von Sheini, Hossein M., Sakallah, Karem A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

A Progressive Simplifier for Satisfiability Modulo Theories von Sheini, Hossein M., Sakallah, Karem A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Pueblo: A Modern Pseudo-Boolean SAT Solver von Sheini, Hossein M., Sakallah, Karem A.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

On Solving Soft Temporal Constraints Using SAT Techniques von Sheini, Hossein M., Peintner, Bart, Sakallah, Karem A., Pollack, Martha E.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

From Propositional Satisfiability to Satisfiability Modulo Theories von Sheini, Hossein M., Sakallah, Karem A.

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Pueblo: A Hybrid Pseudo-Boolean SAT Solver von Sheini, Hossein M., Sakallah, Karem A.

Veröffentlicht in Journal on satisfiability, Boolean modeling and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Ario: A Linear Integer Arithmetic Logic Solver von Sheini, H.M., Sakallah, K.A.

Volltext bestellen

Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

The energy barrier at noble metal/TiO2 junctions von Hossein-Babaei, F., Lajvardi, Mehdi M., Alaei-Sheini, Navid

Veröffentlicht in Applied physics letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

The energy barrier at noble metal/TiO{sub 2} junctions von Hossein-Babaei, F., Lajvardi, Mehdi M., Alaei-Sheini, Navid

Veröffentlicht in Applied physics letters

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Oxygen adsorption at noble metal TiO2 junctions von Hossein-Babaei, F., Alaei-Sheini, Navid, Lajvardi, Mehdi M.

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Oxygen adsorption at noble metal/TiO 2 junctions von Hossein-Babaei, F., Alaei-Sheini, Navid, Lajvardi, Mehdi M.

Veröffentlicht in IOP conference series. Materials Science and Engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Oxygen adsorption at noble metal/TiO sub(2) junctions von Hossein-Babaei, F, Alaei-Sheini, Navid, Lajvardi, Mehdi M

Veröffentlicht in IOP conference series. Materials Science and Engineering

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in: