sign in · help · news · about ·

BibSonomy :: group :: big ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

< >

A Solver for QBFs in Nonprenex Form: Overview and Experimental Results
Uwe Egly, Martina Seidl, and Stefan Woltran Proceedings of the Guangzhou Symposioum on Satisfiability in Logic-Based Modeling, (2006)
to imported by big and 1 other user on Dec 18, 2008, 9:41 AM
BibTeX (0)

< > publications per page: 5 10 20 50 100

a gripper