Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46681-0_24 ◽

2015 ◽

pp. 289-303

Author(s):

Jeroen Bransen ◽

L. Thomas van Binsbergen ◽

Koen Claessen ◽

Atze Dijkstra

Keyword(s):

Sat Solving ◽

Attribute Grammar

Download Full-text

Improving SAT-solving with Machine Learning

Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education - SIGCSE '17 ◽

10.1145/3017680.3022464 ◽

2017 ◽

Author(s):

Haoze Wu

Keyword(s):

Machine Learning ◽

Download Full-text

Arithmetic reasoning in DPLL-based SAT solving

Proceedings Design, Automation and Test in Europe Conference and Exhibition ◽

10.1109/date.2004.1268823 ◽

2004 ◽

Author(s):

M. Wedler ◽

D. Stoffel ◽

W. Kunz

Keyword(s):

Download Full-text

PaInleSS: A Framework for Parallel SAT Solving

Theory and Applications of Satisfiability Testing – SAT 2017 - Lecture Notes in Computer Science ◽

10.1007/978-3-319-66263-3_15 ◽

2017 ◽

pp. 233-250 ◽

Author(s):

Ludovic Le Frioux ◽

Souheib Baarir ◽

Julien Sopena ◽

Fabrice Kordon

Keyword(s):

Download Full-text

SAT-solving in practice

2008 9th International Workshop on Discrete Event Systems ◽

10.1109/wodes.2008.4605923 ◽

2008 ◽

Author(s):

Koen Claessen ◽

Niklas Een ◽

Mary Sheeran ◽

Niklas Sorensson

Keyword(s):

Download Full-text

Automated Workarounds from Java Program Specifications Based on SAT Solving

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-662-54494-5_20 ◽

2017 ◽

pp. 356-373

Author(s):

Marcelo Uva ◽

Pablo Ponzio ◽

Germán Regis ◽

Nazareno Aguirre ◽

Marcelo F. Frias

Keyword(s):

Sat Solving ◽

Download Full-text

An attribute grammar based framework for machine-dependent computational optimization of media processing algorithms

Proceedings 1999 International Conference on Image Processing (Cat. 99CH36348) ◽

10.1109/icip.1999.823006 ◽

1999 ◽

Author(s):

G. Cheung ◽

S. McCanne

Keyword(s):

Attribute Grammar ◽

Media Processing ◽

Computational Optimization ◽

Processing Algorithms

Download Full-text

The Attribute-Grammar Model of Editing

The Synthesizer Generator ◽

10.1007/978-1-4613-9623-9_3 ◽

1989 ◽

pp. 39-44

Author(s):

Thomas W. Reps ◽

Tim Teitelbaum

Keyword(s):

Attribute Grammar ◽

Download Full-text

A NEW ATTRIBUTE GRAMMAR CLASS — DEPENDENT ATTRIBUTE GRAMMAR

Advances in Chinese Computer Science ◽

10.1142/9789814503358_0003 ◽

1989 ◽

pp. 25-43

Author(s):

Tang Changqing

Keyword(s):

Attribute Grammar

Download Full-text

On the Usefulness of Clause Strengthening in Parallel SAT Solving

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-030-55754-6_13 ◽

2020 ◽

pp. 222-229

Author(s):

Vincent Vallade ◽

Ludovic Le Frioux ◽

Souheib Baarir ◽

Julien Sopena ◽

Fabrice Kordon

Keyword(s):

Download Full-text

Attribute grammar for 3D city models

Urban and Regional Data Management ◽

10.1201/9780203869352-8 ◽

2009 ◽

pp. 61-70

Keyword(s):

Attribute Grammar ◽

3D City Models ◽

Download Full-text