Searching for authors named "Roberto Sebastiani" – sorted by Relevance.
54 documents found, showing 1 through 10.
Next 10 →
-
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms
- …Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms Roberto Sebastiani…
- Cited by 6 (3 self) – Add To MetaCart
-
From KSAT to Delayed Theory Combination: Exploiting DPLL Outside the SAT Domain
- … Sebastiani DIT, Università di Trento, via Sommarive 14, I-38050 Povo, Trento, Italy. roberto.sebastiani…
- Cited by 1 (1 self) – Add To MetaCart
-
On Efficiently Integrating Boolean and Theory-Specific Solving Procedures
- …-SPECIFIC SOLVING PROCEDURES Roberto Sebastiani June 2004 Technical Report # DIT-04-036 . On Efficiently Integrating…
- Cited by 2 (0 self) – Add To MetaCart
-
Research Note Applying GSAT to Non-Clausal Formulas
- …/94 Research Note Applying GSAT to Non-Clausal Formulas Roberto Sebastiani Mechanized Reasoning Group, DIST…
- Add To MetaCart
-
Applying GSAT to Non-Clausal Formulas
- … To Non-Clausal Formulas Roberto Sebastiani Mechanized Reasoning Group, DIST, via Opera Pia 11/a, 16145…
- Cited by 17 (6 self) – Add To MetaCart
-
From Tableau-based to SAT-based procedures
- …-based procedures -- preliminary report Roberto Sebastiani and Fausto Giunchiglia November 1997 Technical Report…
- Add To MetaCart
-
Research Note
- …/94 Research Note Applying GSAT to Non-Clausal Formulas Roberto Sebastiani rseba@(email omitted); Mechanized…
- Add To MetaCart
-
Applying the Davis-Putnam procedure to non-clausal formulas
- …Applying the Davis-Putnam procedure to non-clausal formulas ? Enrico Giunchiglia 1 and Roberto…
- Cited by 24 (7 self) – Add To MetaCart
-
"More Deterministic" vs. "Smaller" Büchi Automata for Efficient LTL Model Checking
- … FOR EFFICIENT LTL MODEL CHECKING Roberto Sebastiani and Stefano Tonetta April 2003 Technical Report # DIT-03…
- Cited by 12 (2 self) – Add To MetaCart
-
Proof Planning By Abstraction
- …Proof planning by abstraction Adolfo Villaorita 1 Roberto Sebastiani 2 adolfo@(email omitted);…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
