scientific article; zbMATH DE number 1852165

zbMath1002.68512MaRDI QIDQ4787240

Pankaj Chauhan, Dong Wang, James H. Kukula, Helmut Veith, Somesh Jha, Edmund M. Clarke

Publication date: 9 January 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2144/21440293

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Combinatorial optimization (90C27) Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Quantifier elimination by dependency sequents

This page was built for publication: