dblp.uni-trier.dewww.uni-trier.de

Alexander S. Kulikov

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
5EEAlexander S. Kulikov, Konstantin Kutzkov: New Bounds for MAX-SAT by Clause Learning. CSR 2007: 194-204
2006
4EEArist Kojevnikov, Alexander S. Kulikov: Complexity of Semialgebraic Proofs with Restricted Degree of Falsity. SAT 2006: 11-21
3EEArist Kojevnikov, Alexander S. Kulikov: A new approach to proving upper bounds for MAX-2-SAT. SODA 2006: 11-17
2005
2EEAlexander S. Kulikov: Automated Generation of Simplification Rules for SAT and MAXSAT. SAT 2005: 430-436
2004
1EESergey S. Fedin, Alexander S. Kulikov: Automated Proofs of Upper Bounds on the Running Time of Splitting Algorithms. IWPEC 2004: 248-259

Coauthor Index

1Sergey S. Fedin [1]
2Arist Kojevnikov [3] [4]
3Konstantin Kutzkov [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)