0
I Use This!
Inactive

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 14 hours ago.
Mar 28, 2023 — Mar 28, 2024
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
pequenas correcoes More... about 16 years ago
Maioria dos ajustes recomendados por Rohit, alem de pequenos consertos. Falta incluir simp-testing.bib More... about 16 years ago
closing the gap More... about 16 years ago
pequenos ajustes no related work e no exemplo More... about 16 years ago
late changes More... about 16 years ago
ok More... about 16 years ago
ok More... about 16 years ago
adicionando o pdf More... about 16 years ago
adicionando citacao para metodo de newton More... about 16 years ago
update intro e technique. trying to address differences with DPLL(T) e tecnicas de teste More... about 16 years ago
alterei um erro na variavel do alg. randSOL More... about 16 years ago
careful on intro More... about 16 years ago
correcoes pequenas em eval.tex e reducao da conclusao More... about 16 years ago
*** empty log message *** More... about 16 years ago
changing evaluation section More... about 16 years ago
eval.tex More... about 16 years ago
small mod. in abstract and intro, mod. in example and eval More... about 16 years ago
*** empty log message *** More... about 16 years ago
Conclusao- 1a. versao More... about 16 years ago
Mudancas em intro e example resultado da reuniao Rohit & Juliano More... about 16 years ago
update More... about 16 years ago
*** empty log message *** More... about 16 years ago
adding also the eps to make it easier to compile More... about 16 years ago
adding plot More... about 16 years ago
update text More... about 16 years ago
commit tables More... about 16 years ago
several changes to ransat More... over 16 years ago
updating s script (we need PIABA_DIR to be set on you profile) More... over 16 years ago
*** empty log message *** More... over 16 years ago
Initial revision More... over 16 years ago